System Verification - Grady, Jeffrey (Elsevier, 2016)
Keywords: Engineering