Hierarchical finite-state machines and their use for digital control | IEEE Journals & Magazine | IEEE Xplore