Synthesis and Implementation of Hierarchical Finite State Machines with Implicit Modules | IEEE Conference Publication | IEEE Xplore