Interactive Systems. Design Specification, and Verification, Fachbücher von Stephen W. Gilroy, Michael D. Harrison