A practical framework for eliciting and modeling system dependability requirements: Experience from the NASA high dependability computing project.

Paolo Donzelli Victor R. Basili A practical framework for eliciting and modeling system dependability requirements: Experience from the NASA high dependability computing project. 107-119 2006 79 Journal of Systems and Software 1 http://dx.doi.org/10.1016/j.jss.2005.03.011 db/journals/jss/jss79.html#DonzelliB06