Software verification and validation for practitioners and managers - Rakitin, Steven R. (Artech House,)