Interactive Systems. Design, Specification, and Verification - Graham, T. C. Nicholas (Springer Berlin Heidelberg, 2020)