Interactive systems design, specification, and verification : 13th international workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006 : revised papers / - Doherty, Gavin.; Blandford, Ann. (Springer,)