1. Bause, F., Buchholz, P.: Qualitative and quantitative analysis of timed SDL specifications. In: Gerner, N., Hegering, H.G., Swoboda, J. (eds.) Kommunikation in Verteilten Systemen, pp. 486–500. Springer, Heidelberg (1993)
2. Bause, F., Kabutz, H., Kemper, P., Kritzinger, P.S.: SDL and Petri Net performance analysis of communicating systems. In: Dembinski, P., Sredniawa, M. (eds.) Protocol Specification, Testing and Verification XV, pp. 269–282. Chapman & Hall, New York (1995)
3. Brumbulli, M.: Model-driven development and simulation of distributed communication systems. Ph.D. thesis, Humboldt Universität zu Berlin (2015)
4. Lecture Notes in Computer Science;M Brumbulli,2013
5. Brumbulli, M., Gaudin, E.: Automatic interleaving for testing distributed systems. In: 8th European Congress on Embedded Real Time Software and Systems (ERTS 2016) (2016)