Enviar aquest missatge de text: Hierarchical annotated action diagrams : an interface-oriented specification and verification method / E. Cerny [and others].