Interactive Systems. Design, Specification, and Verification - Gilroy, Stephen W.; Harrison, Michael D.; Kanade, Takeo; Kittler, Josef (Springer Berlin / Heidelberg, 2006)