“…Arnold (1973), Beaudry (1978), Borgerson and 1 Freitas (1975), Bouricius, Coorter, Jessp and Schneider (1969), Castillo and Siewiorek (1981), Costes, Landrault and Laprie (1978), Gay and Ketelson (1979), Huslende (1981), Iyer, Donatiello and Heidelberger (1984), Koren and Sue (1979), Krishna and Shin (1983), Avizienis (1981,1982), Mathur and Avizienis (1970), Meyer (1980Meyer ( ,1982, Meyer and Furchtgott and Wu (1980), Avizienis (1977,1980), Oda, Tohma and Furuya (1981), Osaki and Nishino (1980), Seth and Lipsky (1983), Sonerio and Suk (1980), Trivedi (1982) and others. Validation of models for such high reliable systems has also been discussed, see e.g.…”