System validation and verification - Jeffrey O Grady (CRC Press, 1998)