An example of risk assessment of software systems specifications. - Hany H. Ammar; Tooraj Nikzadeh; Joanne Bechta Dugan (ISSRE, 1997)

A Methodology For Risk Assessment Of Functional Specification Of Software Systems Using Colored Petri Nets. - Hany H. Ammar; Tooraj Nikzadeh; Joanne Bechta Dugan (IEEE METRICS, 1997)

A methodology for verification and analysis of parallel and distributed systems requirements specifications. - Khalid Lateef; Hany H. Ammar; Vinay Mogulothu; Tooraj Nikzadeh (PDSE, 1997)

Risk assessment of software-system specifications. - Hany H. Ammar; Tooraj Nikzadeh; Joanne Bechta Dugan (IEEE Trans. Reliab., 2001)