Risk Assessment of Software-System Specifications. - Ammar, Hany H.; Nikzadeh, Tooraj; Dugan, Joanne Bechta (IEEE Transactions on Reliability, 2001)