Hierarchical Annotated Action Diagrams An Interface-Oriented Specification and Verification Method - Cerny, E.; Berkane, B.; Girodias, P.; Khordoc, K. (Springer US, 1998)