1. Telelogic AB. The SDL Design Tool. PO Box 4128, S-203 12 Malmö, Sweden, 1995.
2. F. Bause et al. SDL and Petri net performance analysis of communicating systems. In P. Dembinski and M. Sredniawa, editors, PSTV XV, 15th International Conference on Protocol Testing, Specification and Verification, pages 269–282. Chapman and Hall, 1995.
3. F. Bause and P. Buchholz. Protocol analysis using a timed version of SDL. In J. Quemada et al., editors, FORTE’90, 3rd Int’l Conf. on Formal Description Techniques, pages 269–285, 1990.
4. H Beilner. Workload characterisation of performance modelling tools. In G Serazzi, editor, Workload Characterisation of Computer Systems and Computer Networks. North Holland, 1986.
5. S. Budkowski and M. Hendaz. A new approach for protocol performance evaluation using annotated Estelle specifications. In G. v Bochmann et al., editors, FORTE’95, 8th Int’l Conf. on Formal Description Techniques, pages 338–345. Chapman and Hall, 1995.