@inproceedings{VT2011, author = {Barbierato, Enrico and Gribaudo, Marco and Iacono, Mauro}, title = {Exploiting multiformalism models for testing and performance evaluation in {SIMTHESys}}, booktitle = {{Proceedings of 5th International ICST Conference on Performance Evaluation Methodologies and Tools - VALUETOOLS 2011}}, year = {2011}, }