<--Previous   Up  Next-->

Cerny, 1998

E. Cerny, Hierarchical annotated action diagrams : an interface-oriented specification and verification method. Boston: Kluwer Academic Publishers, 1998.