1. Arnold, A., Point, G., Griffault, A., Rauzy, A.: The altarica formalism for describing concurrent systems. Fundam. Informaticae 40(2,3), 109–124 (1999)
2. Lecture Notes in Computer Science;P Bieber,2014
3. Bozzano, M., Villafiorita, A., Aakerlund, O., Bieber, P., Bougnol, C., Böde, E., Bretschneider, M., Cavallo, A., Castel, C., Cifaldi, M., Cimatti, A., Griffault, A., Kehren, C., Lawrence, B., Luedtke, A., Metge, S., Papadopoulos, C., Passarello, R., Peikenkamp, T., Persson, P., Seguin, C., Trotta, L., Valacca, L., Zacco, G.: Esacs: an integrated methodology for design and safety analysis of complex systems. In: Proceedings of ESREL 2003. Balkema publisher (2003)
4. Brunel, J., Chemouil, D., Mélédo, N., Ibanez, V.: Formal modelling and safety analysis of an avionic functional architecture with alloy. In: Embedded Real Time Software and Systems (ERTSS 2014), Toulouse, France (2014)
5. Brunel, J., Chemouil, D., Rioux, L., Bakkali, M., Vallée, F.: A viewpoint-based approach for formal safety and security assessment of system architectures. In: 11th Workshop on Model-Driven Engineering, Verification, and Validation (MoDeVVa 2014) hosted by MODELS 2014, vol. 1235 of CEUR-WS, pp. 39–48 (2014)