Stately: An FSM Design Tool | IEEE Conference Publication | IEEE Xplore