Ronaldo Arias, Celso Massaki Hirata. Mapping of software model to simulation model for performance requirement verification. In Saad Biaz, Shaoen Wu, editors, 2011 Spring Simulation Multi-conference, SpringSim '11, Boston, MA, USA, April 03-07, 2011. Volume 2: Proceedings of the 44th Annual Simulation Symposium (ANSS). pages 142-150, SCS/ACM, 2011. [doi]