Interactive Systems. Design, Specification, and Verification - Doherty, Gavin; Blandford, Ann; Kanade, Takeo; Kittler, Josef (Springer Berlin Heidelberg, 2007)