Sebastio, Stefano and Vandin, Andrea MultiVeStA: Statistical Model Checking for Discrete Event Simulators. In: Proceedings of the 7th International Conference on Performance Evaluation Methodologies and Tools, December 10-12, 2013, Brussels, Belgium pp. 310-315. ISBN 978-1-936968-48-0. (2013)