Interactive Systems. Design, Specification, and Verification 12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005. Revised Papers - Gilroy, Stephen W.; Harrison, Michael D. (Springer Berlin Heidelberg, 2006)