Systematics software testing - Craig, Rick D. (Artech House, 2002)