Software verification and validation a practitioner's guide - Rakitin, Steven R. (Artech House, 1997)