Hierarchical finite state machines with multiple concurrency models. (1999)

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