1. F. Bause. Queueing Petri nets: a formalism for the combined qualitative and quantitative analysis of systems. In Proceedings of the 5th International Workshop on Petri Nets and Performance Models. IEEE, October 1993.
2. F. Bause and P. Buchholz. Protocol analysis using a timed version of SDL. In FORTE’90, 3rd Intl Conf. on Formal Description Techniques, pages 239–255. North Holland Elsevier, 1990.
3. F. Belina, D. Hogrefe, and A. Sarma. SDL with Application to Protocol Specification. Prentice Hall, 1991.
4. F. Bause and P. Kemper. QPN-Tool for the qualitative and quantitative analysis of Queueing Petri Nets. In G. Haring and G. Kotsis, editors, Proc. of the 7th International Conference on Computer Performance Evaluation, Modelling Techniques and Tools, Vienna (Austria), LNCS 794, pages 321–334. Springer-Verlag, Berlin, 1994.
5. P. Dembinski and S. Budkowski. Simulating Estelle specifications with time parameters. In H. Rudin and C. West, editors, 7th Intl Conf. on Protocol Specification, Testing and Verification, Zurich, Switzerland, pages 265–279. North Holland Elsevier, 1987.