1. Lect Notes Comput Sci;R. Alur,1999
2. J. Araújo. Formalizing sequence diagrams. In L. Andrade, A. Moreira, A. Deshpande, and S. Kent, editors, Proc. of the OOPSLA’ 98 Workshop on Formalizing UML. Why? How?, volume 33, 10 of A CM SIGPLAN Notices, New York, 1998. ACM Press.
3. B. Bollig and M. Leucker. Deciding LTL over Mazurkiewicz traces. In C. Bettini and A. Montanari, editors, Proc. of the Symposium on Temporal Representation and Reasoning (TIME’01), pp. 189–197. IEEE Computer Society Press, 2001.
4. B. Bollig and M. Leucker. Modelling, Specifying, and Verifying Message Passing Systems. In C. Bettini and A. Montanari, editors, Proc. of the Symposium on Temporal Representation and Reasoning (TIME’01), pp. 240–248. IEEE Computer Society Press, 2001.
5. B. Bollig, M. Leucker, and P. Lucas. Extending compositional message sequence graphs. Technical Report MS-CIS-02-09, University of Pennsylvania, Apr. 2002.