Verification and validation of modern software intensive systems - Schulmeyer, G. Gordon; MacKenzie, Garth R. (Prentice Hall, 2000)