Interactive Systems. Design, Specification, and Verification : 10th International Workshop, DSV-IS 2003, Funchal, Madeira Island, Portugal, June 11-13, 2003, Revised Papers - Joaquim A. Jorge, Nuno Jardim Nunes, João Falcão e Cunha ((Lecture Notes in Computer Science))