Formal Validation of Hierarchical State Machines against Expectations | IEEE Conference Publication | IEEE Xplore