System Assurance: Beyond Detecting Vulnerabilities 1Ed - Mansourov, Nikolai (Elsevier)