- Gavin J. Doherty, Ann Blandford, editors, Interactive Systems. Design, Specification, and Verification, 13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006. Revised Papers. Volume 4323 of Lecture Notes in Computer Science, Springer, 2007.