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