Interactive Systems. Design, Specification, and Verification 10th International Workshop, DSV-IS 2003, Funchal, Madeira Island, Portugal, June 11-13, 2003, Revised Papers - Jorge, Joaquim; Jorge, Joaquim; Jardim Nunes, Nuno; Jardim Nunes, Nuno; Falcao e Cunha, Joao; Falcao e Cunha, Joao (Springer Berlin Heidelberg : Imprint: Springer, 2003)