Hierarchical finite state machines with multiple concurrency models (1999)

by A Girault, L Bilung, E A Lee
Venue:IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems