Interactive Systems. Design, Specification, and Verification : 13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006, Revised Papers - Gavin Doherty, Ann Blandford ((Lecture Notes in Computer Science))