S. Bernardi, und J. Campos. Proceedings of the 1st International Conference on Quantitative Evaluation
of Systems (QEST'04), Seite 50-59. Enschede, The Netherlands, IEEE Computer Society, (September 2004)
J. Merseguer, S. Bernardi, J. Campos, und S. Donatelli. Proceedings of the 6th International Workshop on Discrete Event Systems, Seite 295-302. Zaragoza, Spain, IEEE Computer Society Press, (Oktober 2002)
S. Bernardi, und J. Campos. Actas de las XXI Jornadas de Concurrencia y Sistemas Distribuidos, San Sebastián, Spain, Universidad del Pa\'ıs Vasco, (Juni 2013)See the paper BC-TSMC-13.