Lee,“Hierarchical Finite State Machines with Multiple Concurrency Models (1999)

by A Girault, B Lee, E A
Venue:IEEE Transactions on ComputerAided Design of Integrated Circuits and Systems