1. Model checking of hierarchical state machines;Alur;ACM Transactions on Programming Languages and Systems,2001
2. Communicating hierarchical state machines;Alur,1999
3. Introduction to Discrete Event Systems;Cassandras,1999
4. Model Checking;Clarke,1999
5. Composing specifications;Colageo,2008