Kai-Yuan Cai Towards a conceptual framework of software run reliability modeling. 137-163 2000 126 Inf. Sci. 1-4 db/journals/isci/isci126.html#Cai00