Interactive Systems. Design, Specification, and Verification by B. Urban, P. Forbrig & J. Vanderdonckt