«Industrial Use of Formal Methods. Formal Verification», benzeri kitaplar