Validation, Verification and Test of Knowledge-Based Systems - Ayel, Marc (Wiley)