A Method for Software Reliability Analysis and Prediction Application to the TROPICO-R Switching System. - Karama Kanoun; Marta Rettelbusch de Bastos Martini; Jorge Moreira de Souza (IEEE Trans. Software Eng., 1991)

Qualidade de serviço de sistemas computacionais : avaliação de segurança de funcionamento quanto a falhas de concepção Hardware e Software - Marta Rettelbusch de Bastos Martini (1991)

Software Reliability Analysis of Three Successive Generations of a Switching System. - Mohamed Kaâniche; Karama Kanoun; Michel Cukier; Marta Rettelbusch de Bastos Martini (EDCC, 1994)