Johan Bengtsson, Kim Larsen, Fredrik Larsson, Paul Pettersson & Wang Yi (1996):
UPPAAL - a tool suite for automatic verification of real-time systems.
In: Rajeev Alur, Thomas Henzinger & Eduardo Sontag: Hybrid Systems III,
Lecture Notes in Computer Science 1066.
Springer Berlin / Heidelberg,
pp. 232–243.
Available at http://dx.doi.org/10.1007/BFb0020949.
10.1007/BFb0020949.
B. Berthomieu *, P.-O. Ribet & F. Vernadat (2004):
The tool TINA - Construction of abstract state spaces for petri nets and time petri nets.
International Journal of Production Research 42(14),
pp. 2741–2756,
doi:10.1080/00207540412331312688.
S. Gilmore & J. Hillston (1994):
The PEPA Workbench: A Tool to Support a Process Algebra-based Approach to Performance Modelling.
In: Proceedings of the Seventh International Conference on Modelling Techniques and Tools for Computer Performance Evaluation,
Lecture Notes in Computer Science 794.
Springer-Verlag,
Vienna,
pp. 353–368,
doi:10.1007/3-540-58021-2_20.
Jane Hillston (1996):
A Compositional Approach to Performance Modelling.
Cambridge University Press,
doi:10.1017/CBO9780511569951.
F. L. Pelayo (2004):
Application of formal methods to performance evaluation.
Universidad de Castilla - La Mancha.
Fernando L. Pelayo, Fernando Cuartero & Diego Cazorla (2011):
Looking for a cheaper ROSA.
In: Proceedings of the 11th international conference on Artificial neural networks conference on Advances in computational intelligence - Volume Part II,
IWANN'11.
Springer-Verlag,
Berlin, Heidelberg,
pp. 380–387.
Available at http://dl.acm.org/citation.cfm?id=2023332.2023387.
Maria L. Pelayo, Fernando L. Pelayo, Fernando Cuartero, Valentin Valero, Gregorio Diaz & Elena Nieto (2007):
Does ROSA provide a good view of the Memorizing Process?.
In: Proceedings of the 6th IEEE International Conference on Cognitive Informatics,
COGINF '07.
IEEE Computer Society,
Washington, DC, USA,
pp. 273–283,
doi:10.1109/COGINF.2007.4341900.
A. Stefanek, R.A. Hayden & J.T. Bradley (2011):
GPA - A Tool for Fluid Scalability Analysis of Massively Parallel Systems.
In: Quantitative Evaluation of Systems (QEST), 2011 Eighth International Conference on,
pp. 147–148,
doi:10.1109/QEST.2011.26.