Hierarchical Concurrent Finite State Machines in Ptolemy. - Bilung Lee; Edward A. Lee (ACSD, 1998)

Hierarchical finite state machines with multiple concurrency models. - Alain Girault; Bilung Lee; Edward A. Lee (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1999)