Modular supervisory control of asynchronous and hierarchical finite state machines | IEEE Conference Publication | IEEE Xplore