Interactive systems : design, specification, and verification : 15th International Workshop, DSV-IS 2008 : Kingston, Canada, July 16-18, 2008 : proceedings - Graham, T. C.; Palanque, Philippe, 1966- (Lecture notes in computer science ;, 2008)