A scenario-based approach to hierarchical state machine design | IEEE Conference Publication | IEEE Xplore