1. Béounes C, Aguera M, Aalat J, Bachmann S, Bourdeau C, Doucet JE, Kanoun K, Laprie JC, Metge S, Moeira De Souza J, Powell D, Spiesser P (1993) SURF-2: a program for dependability evaluation of complex hardware and software systems. In: 23rd IEEE international symposium on fault-tolerant computing (FTCS'23), Toulouse (France), pp 668–673
2. Betous-Almeida C, Kanoun K (2004) Dependability modelling of instrumentation and control systems: a compaaprison of competing architectures. Saf Sci 42(5):457–480
3. Betous-Almeida C, Arazo A, Crouzet Y, Kanoun K (2000) Dependability of computer control systems in power plants. Analytical and experimental evaluation. In: 19th international conference on computer safety, reliability and security (SAFECOMP'2000). Rotterdam, 24–27 October 2000
4. Blanquart JP, Boussin JL, Kanoun K, Laprie JC (1982) REBECCA: a dependable communication sub-system for the control system of extra-high-voltage substations. In: Fifth European conference on electrotechnics. Lyngby (Danemark), pp 825–829
5. Damien A, Feyt N, Nicomette V, Alata E, Kaâniche M (2019a) attack injection into avionic systems through application code mutation. In: 38th digital avionics systems conference (DASC-2019). San Diego, CA (US), 10 p