@article{ENTCS2011, author = {Enrico Barbierato and Marco Gribaudo and Mauro Iacono}, title = {{Defining Formalisms for Performance Evaluation With SIMTHESys}}, journal = {Electr. Notes Theor. Comput. Sci.}, volume = {275}, year = {2011}, pages = {37-51}, publisher = {Elsevier} }