Shiyi Xu An Accurate Model of Software Reliability. 77-84 2007 PRDC http://doi.ieeecomputersociety.org/10.1109/PRDC.2007.12 conf/prdc/2007 db/conf/prdc/prdc2007.html#Xu07