1. Model checking of hierarchical state machines;Alur,1998
2. Analysis of recursive state machines;Alur,2001
3. Model checking of unrestricted hierarchical state machines;Benedikt,2001
4. Unified Modeling Language User Guide;Booch,1997
5. On the transition graphs of Turing machines;Caucal,2001