System Assurance: Beyond Detecting Vulnerabilities (The MK/OMG Press)