Mohamed Kaâniche Karama Kanoun Michel Cukier Marta Rettelbusch de Bastos Martini Software Reliability Analysis of Three Successive Generations of a Switching System. 473-490 1994 conf/edcc/1994 EDCC db/conf/edcc/edcc1994.html#KaanicheKCM94 http://dx.doi.org/10.1007/3-540-58426-9_153