S. Hate, “Introducing software engineering-as-a-service,” 19/06/2012 2012.
 M. Oriol and F. Ullah, “Yeti on the cloud,” in Software Testing, Verification, and Validation Workshops (ICSTW), 2010 Third International Conference on, pp. 434-437.
 S. Bucur, V. Ureche, C. Zamfir, and G. Candea, “Parallel symbolic execution for automated real-world software testing,” in Proceedings of the Sixth Conference on Computer Systems, ser. EuroSys '11. New York, NY, USA: ACM, 2011, pp. 183-198. [Online]. Available: http://doi.acm.org/10.1145/1966445.1966463 [OpenAIRE]
 M. Schmidberger, “Software engineering as a service for hpc,” in Parallel and Distributed Computing (ISPDC), 2012 11th International Symposium on, pp. 34-39. [OpenAIRE]
 E. Armengaud, M. Biehl, Q. Bourrouilh, M. Breunig, S. Farfeleder, C. Hein, M. Oertel, A. Wallner, and M. Zoier, “Integrated tool chain for improving traceability during the development of automotive systems,” in ERTS2 2012 - Embedded Real Time Software and Systems, Feb. 2012.
 W. Herzner, R. Schlick, M. Schlager, B. Leiner et al., “Model-based development of distributed embedded real-time systems with the DECOS tool-chain,” SAE Technical Paper 2007-01-3827, 2007. [OpenAIRE]
 O. Laurent, I. Viglietti, F. Paganelli, S. Bonnet, G. Cristau, P. Priggouris, and P. Baufreton, “customization principles of an aeronautical SLM environment and an illustration on aeronautics use cases, the doors management system and the flight control system,” in ERTS2 2012 - Embedded Real Time Software and Systems, 2012.
 H. Hiden, S. Woodman, P. Watson, and J. Cala, “Developing cloud applications using the e-science central platform,” Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences, vol. 371, no. 1983, 2013. [OpenAIRE]
 J. H. Gerard, “The model checker spin,” IEEE Trans. Softw. Eng., vol. 23, no. 5, pp. 279-295, 1997, 260902.
 J. Barnat, L. Brim, M. Cˇesˇka, and P. Rocˇkai, “DiVinE: Parallel Distributed Model Checker (Tool paper),” in Parallel and Distributed Methods in Verification and High Performance Computational Systems Biology (HiBi/PDMC 2010). IEEE, 2010, pp. 4-7.