Interactive Systems. Design, Specification, and Verification : 15th International Workshop, DSV-IS 2008 Kingston, Canada, July 16-18, 2008, Proceedings - T. C. Nicholas Graham, Philippe Palanque ((Lecture Notes in Computer Science))