Early Quantitative Software Reliability Prediction Using Petri-nets. - Kovur Krishna Mohan; Ajit Kumar Verma; Ajit Srividya; G. Varaprasada Rao; Ravi Kumar Gedela (ICIIS, 2008)