Towards A Formal And Scalable Approach For Quantifying Software Reliability At Early Development Stages. - Wende Kong (2009)