Interactive Systems. Design, Specification, and Verification - Graham, T. C. Nicholas; Kanade, Takeo; Palanque, Philippe; Kittler, Josef (Springer Berlin Heidelberg, 2008)