Ian Toyn, Andy Galloway. Formal Validation of Hierarchical State Machines against Expectations. In 18th Australian Software Engineering Conference (ASWEC 2007), April 10-13, 2007, Melbourne, Australia. pages 181-190, IEEE Computer Society, 2007. [doi]
Abstract is missing.