Software Reliability Prediction Based on a Formal Requirements Specification. - Hooshmand Alipour; Ayaz Isazadeh (CSICC, 2008)