Hierarchical Finite State Machines with Multiple Concurrency Models (1998)

by A Girault, B Lee, E A Lee
Venue:revised from Memorandum UCB/ERL M97/57, Electronics Research Laboratory