Hierarchical Finite State Machines with Multiple Concurrency Models (1999)

by Alain Girault, Bilung Lee, Edward A. Lee
Venue:IEEE Transactions on Computer-aided Design of Integrated Circuits and Systems