1. Abu Jbara , A. 2013 On using multi-modeling and meta-modeling to address complex systems
2. Defining formalisms for performance evaluation with SIMTHESys;Barbierato;Electronic Notes in Theoretical Computer Science,2011a
3. Barbierato , E. Gribaudo , M. Iacono , M. 2011b Exploiting multi-formalism models for testing and performance evaluation in SIMTHESys Proceedings of the 5th International ICST Conference on Performance Evaluation Methodologies and Tools
4. Bechhofer , S. 2003 OWL reasoning examples http://owl.man.ac.uk/2003/why/latest
5. BPMN 2014 Business process model and notation http://www.omg.org/spec/BPMN