System Verification - Jeffrey O Grady (Elsevier/Academic Press, 2007)