«Formal Methods. Industrial Use from Model to the Code», benzeri kitaplar