1. Oquendo, F., Buisson, J., Leroux, E., Moguérou, G., Quilbeuf, J.: The SoS Architect Studio: toolchain for the formal architecture description and analysis of software-intensive systems-of-systems with SosADL (2016)
2. Bettini, L.: Implementing Domain-Specific Languages with Xtext and Xtend. Packt Publishing, Olton (2013)
3. Lecture Notes in Computer Science;M Voelter,2013
4. Bertot, Y., Castéran, P.: Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of Inductive Constructions, 1st edn. Springer, Heidelberg (2010).
https://doi.org/10.1007/978-3-662-07964-5
5. Lecture Notes in Computer Science,2002