Hierarchical finite state machines with multiple concurrency models

Alain Girault, Bilung Lee, Edward A. Lee. Hierarchical finite state machines with multiple concurrency models. IEEE Trans. on CAD of Integrated Circuits and Systems, 18(6):742-760, 1999. [doi]

Abstract

Abstract is missing.