1. Baarir, S., Beccuti, M., Cerotti, D., De Pierro, M., Donatelli, S., Franceschinis, G.: The GreatSPN tool: recent enhancements. SIGMETRICS Perform. Eval. Rev. 36(4), 4–9 (2009)
2. Berardinelli, L., Bernardi, S., Cortellessa, V., Merseguer, J.: UML profiles for non-functional properties at work: analyzing reliability, availability and performance. In: Boskovic, M., Gasevic, D., Pahl, C., Schatz, B. (eds.) 2nd International Workshop on Non-functional System Properties in Domain Specific Modeling Languages (NFPinDSML), CEUR, CEUR, Denver, vol. 553 (2009)
3. Bernardi, S., Merseguer, J.: Performance evaluation of UML design with stochastic well-formed nets. J. Syst. Softw. 80(11), 1843–1865 (2007)
4. Bernardi, S., Merseguer, J., Petriu, D.: A dependability profile within MARTE. J. Softw. Syst. Model. 10(3), 313–336 (2011)
5. Bonet, P., Lladó, C., Puigjaner, R., Knottenbelt, W.: PIPE v2.5: a Petri net tool for performance modelling. In: Proceedings of the 23rd Latin American Conference on Informatics (CLEI), Costa Rica (2007)