Interactive systems : design, specification, and verification : 13th International Workshop : DSVIS 2006, Dublin, Ireland, July 26-28, 2006 : revised papers - Doherty, Gavin; Blandford, Ann (Lecture notes in computer science ;, 2006)