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