Jeffrey O. Grady System Verification (Second Edition) - Academic Press 2016 ISBN: 9780128042212 Subjects--Topical Terms: Engineering 2016