Text this: Hierarchical annotated action diagrams : an interface-oriented specification and verification method / E. Cerny [and others].