1. Balsamo, S., Di Marco, A., Inverardi, P., Simeoni, M.: Model-based performance prediction in software development: A survey. IEEE Transactions on Software Engineering 30(5), 295–310 (2004)
2. Bradley, J., Dingle, N., Gilmore, S., Knottenbelt, W.: Extracting passage times from PEPA models with the HYDRA tool: A case study. In: Proc. of the 19th Annual UK Performance Engineering Workshop, pp. 79–90 (2003)
3. Carpin, S., Mirolo, C., Pagello, E.: A performance comparison of three algorithms for proximity queries relative to convex polyhedra. In: Proc. of Int. Conference on Robotics and Automation, pp. 3023–3028. IEEE (2006)
4. de Gooijer, T., Jansen, A., Koziolek, H., Koziolek, A.: An industrial case study of performance and cost design space exploration. In: Proc. of the 3rd Int. Conference on Performance Engineering, WOSP/SIPEW, pp. 205–216. ACM (2012)
5. Eindhoven University of Technology. Software/Hardware Engineering - High-Speed Simulation of POOSL Models with Rotalumis,
http://www.es.ele.tue.nl/she/index.php?select=42