1. E. Best, R. Devillers, and J. Esparza. General Refinement and Recursion for the Box Calculus. In P. Enjalbert, A. Finkel, and K. W. Wagner, editors, STACS’93, Lect. Notes Comp. Sci. 665, 130–140. Springer, 1993.
2. E. Bihler. Effizienzvergleich bei verteilten Systemen-eine Theorie und ein Werkzeug. Diplomarbeit an der Uni. Augsburg, 1998.
3. E. Bihler and W. Vogler. Efficiency of token-passing MUTEX-solutions — some experiments. In J. Desel et al., editors, Applications and Theory of Petri Nets 1998, Lect. Notes Comp. Sci. 1420, 185–204. Springer, 1998.
4. G. Chehaibar. Replacement of open interface subnets and stable state transformation equivalence. In Proc. 12th Int. Conf. Applications and Theory of Petri Nets, Gjern, 390–409, 1991.
5. R. Cleaveland and A. Zwarico. A theory of testing for real-time. In Proc. 6th Symp. on Logic in Computer Science, pages 110–119. IEEE Computer Society Press, 1991.