Roger C. F. ShawBooksCase studies in systematic software developmentSafety and Reliability of Software Based SystemsAuthor data: Open Library