«Reliability of Safety-Critical Systems», Marvin Rausand benzeri kitaplar