1. Modeling the dynamics of UML state machines;Börger,2000
2. A precise semantics of UML State Machines: making semantic variation points and ambiguities explicit;Börger;in ETAPS 2002,2002
3. Refinement and concurrency in UML;Davies,2003
4. Using state diagrams to describe concurrent behaviour;Davies,2003
5. On-the-fly verification techniques for the generation of test suites;Fernandez,1996