Interactive Systems. Design Specification, and Verification : 12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005, Revised Papers - Stephen W. Gilroy, Michael D. Harrison ((Lecture Notes in Computer Science))