Design, Specification and Verification of Interactive Systems ¿95