Interactive Systems. Design, Specification, and Verification - Doherty, Gavin (Springer Berlin Heidelberg, 2020)