Interactive Systems. Design, Specification, and Verification 13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006. Revised Papers - Doherty, Gavin; Blandford, Ann (Springer Berlin Heidelberg, 2007)