1. M. Gribaudo, D.C. Raiteri, G. Franceschinis, Drawnet, a customizable multi-formalism, multi-solution tool for the quantitative evaluation of systems, in: QEST, 2005, pp. 257–258.
2. EMF: Eclipse Modeling Framework;Steinberg,2008
3. Defining formalisms for performance evaluation with simthesys;Barbierato;Electric Notes Theoretical Computer Science,2011
4. E. Barbierato, M. Gribaudo, M. Iacono, Exploiting multiformalism models for testing and performance evaluation in simthesys, in: Proceedings of 5th International ICST Conference on Performance Evaluation Methodologies and Tools — VALUETOOLS 2011, 2011.
5. Performability modeling of exceptions-aware systems in multiformalism tools, in;Barbierato,2011