Hierarchical finite state machines with multiple concurrency models (1999)

by A Girault, B Lee, EA Lee
Venue:IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems