Verification and validation of rule-based expert systems. (2018)