Hierarchical finite state machines with multiple concurrency models. - Girault, Alain; Lee, Bilung; Lee, Edward A. (IEEE Transactions on Computer-Aided Design of Integrated Circuits & Systems, 1999)