1. Åkerlund, O., P. Bieber, E. Böde, C. Bougnol, M. Bozzano, M. Bretschneider, C. Castel, A. Cavallo, M. Cifaldi, A. Cimatti, A. Griffault, C. Kehren, B. Lawrence, A. Lüdtke, S. Metge, C. Papadopoulos, R. Passarello, T. Peikenkamp, P. Persson, C. Seguin, L. Trotta, L. Valacca, A. Villafiorita, G. Zacco (2003). ESACS: an integrated methodology for design and safety analysis of complex systems. In: Proceedings of ESREL. Balkema publisher.
2. Åkerlund, O., P. Bieber, E. Böde, M. Bozzano, M. Bretschneider, C. Castel, A. Cavallo, M. Cifaldi, J. Gauthier, A. Griffault, O. Lisagor, A. Lüdtke, S. Metge, C. Papadopoulos, T. Peikenkamp, L. Sagaspe, C. Seguin, H. Trivedi, L. Valacca (2006). ISAAC, a framework for integrated safety analysis of functional, geometrical and human aspects. In: Proceedings of ERTS.
3. Arnold, A., A. Griffault, G. Point, A. Rauzy (2000). The AltaRica formalism for describing concurrent systems. In: Fundamenta Informaticae p109-124.
4. Bieber, P., C. Bougnol, C. Castel, J.P. Heckmann, C. Kehren, S. Metge, C. Seguin (2004). Safety assessment with AltaRica: lessons learnt based on two aircraft system studies. In: Proceedings of World Computer Congress, IFIP.
5. The AltaRica Data-Flow language in use : Assessment of production availability of a multistates system;Boiteau;Reliability Engineering and System Safety,2006