Interactive Systems. Design, Specification, And Verification by Philippe et al Palanque