Model checking of hierarchical state machines (0)

by R Alur, M Yannakakis
Venue:ACM Trans. Program. Lang. Syst