1. Baille, G., Garnier, P., Mathieu, H., Pissard-Gibollet, R. (1999). Le cycab de l’INRIA Rhône-Alpes. Rapport technique RT-0229, INRIA.
2. Basu, A., Bozga, M., Sifakis, J. (2006). Modeling heterogeneous real-time components in BIP. In Proc. of the fourth IEEE int. conf. on software engineering and formal methods, SEFM ’06, pages 3–12, Washington, DC, USA: IEEE Computer Society.
3. Beizer, B. (1995). Black-box testing: techniques for functional testing of software and systems. New York: Wiley.
4. Binder, R.V., Legeard, B., Kramer, A. (2014). Model-based testing: where does it stand? ACM Queue, 13(1), 40–48.
5. Bruneton, E., Coupaye, T., Leclercq, M., Quéma, V., Stefani, J.-B. (2006). The Fractal component model and its support in java: experiences with auto-adaptive and reconfigurable systems. Software: Practice and Experience, 36(11-12), 1257–1284.