Interactive Systems. Design, Specification, and Verification 7th International Workshop, DSV-IS 2000, Limerick, Ireland, June 5-6, 2000. Revised Papers - Palanque, Philippe; Palanque, Philippe; Paterno, Fabio; Paterno, Fabio (Springer Berlin Heidelberg : Imprint: Springer, 2001)