"Interactive Systems.. Design, Specification, and Verification, 13 conf., DSVIS 2006" - читать интересную книгу автора (Gavin Doherty, Ann Blandford)