2 works on record
Case studies in systematic software development
Safety and Reliability of Software Based Systems