A. Puerta

• Design, Specification and Verification of Interactive Systems '99