The transformation approach to the modeling and evaluation of the reliability and availability growth. - Jean-Claude Laprie; Christian Béounes; Mohamed Kaâniche; Karama Kanoun (FTCS, 1990)

Definition and Analysis of Hardware- and Software-Fault-Tolerant Architectures. - Jean-Claude Laprie; Jean Arlat; Christian Béounes; Karama Kanoun (Computer, 1990)

The KAT (Knowledge-Action-Transformation) Approach to the Modeling and Evaluation of Reliability and Availability Growth. - Jean-Claude Laprie; Karama Kanoun; Christian Béounes; Mohamed Kaâniche (IEEE Trans. Software Eng., 1991)