Interactive systems : design, specification, and verification : 12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005 : revised papers - DSV-IS; Gilroy, Stephen W.; Harrison, M. D. (Michael D.) (Lecture notes in computer science, 2006)