1. R. Alur, K. Etessami, and M. Yannakakis. Inference of message sequence charts. In Proc. International Conference on Software Engineering, 2000. 163
2. Lect Notes Comput Sci;C. Bolton,2000
3. E. Börger, A. Cavarra, and E. Riccobene. Solving conflicts in UML state machines concurrent states. In [13]. 162
4. Lect Notes Comput Sci;E. Börger,2000
5. E.örger, A. Cavarra, and E. Riccobene. A precise semantics of UML state machines: making semantic variation points and ambiguities explicit. In Proc. of Semantic Foundations of Engineering Design Languages (SFEDL), Satellite Workshop of ETAPS 2002, 2002. 162