Y. P. Wu Q. P. Hu Min Xie Szu Hui Ng Modeling and Analysis of Software Fault Detection and Correction Process by Considering Time Dependency. 629-642 2007 56 IEEE Transactions on Reliability 4 http://dx.doi.org/10.1109/TR.2007.909760 db/journals/tr/tr56.html#WuHXN07