1. IPC Technology Harmonization Advisory Group: European Space Technology Harmonization. Technology harmonization dossier. Model based for system engineering. Technical report ESA/IPC/THAG(2020)7 issue 2, revision 2, European Space Agency (2020)
2. Bozzano, M., Cimatti, A., Katoen, J.-P., Nguyen, V.Y., Noll, T., Roveri, M.: Safety, dependability and performance analysis of Extended AADL models. Comput. J. 54(5), 754–775 (2011)
3. Bozzano, M., Cimatti, A., Katoen, J.-P., Katsaros, P., Mokos, K., Nguyen, V.Y., Noll, T., Postma, B., Roveri, M.: Spacecraft early design validation using formal methods. Reliab. Eng. Syst. Saf. 132, 20–35 (2014)
4. Bozzano, M., Bruintjes, H., Cimatti, A., Katoen, J.-P., Noll, T., Tonetta, S.: COMPASS 3.0. In: Proceedings of TACAS. Lecture Notes in Computer Science, vol. 11427, pp. 379–385 (2019)
5. Hugues, J., Pautet, L., Zalila, B., Dissaux, P., Perrotin, M.: Using AADL to build critical real-time systems: experiments in the IST-ASSERT project. In: Proceedings of ERTS (2008)