Interactive Systems. Design, Specification, and Verification 15th International Workshop, DSV-IS 2008 Kingston, Canada, July 16-18, 2008 Revised Papers - Graham, T. C. Nicholas; Palanque, Philippe (Springer Berlin Heidelberg, 2008)