Ushio Sumita Yasushi Masuda Analysis of Software Availability/Reliability Under the Influence of Hardware Failures. 32-41 1986 12 IEEE Trans. Software Eng. 1 db/journals/tse/tse12.html#SumitaM86