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