Testing knowledge-based systems : a case study and implicationsHeino, P.; Jaakkola, Hannu; Tepandi, JaakProceedings of the SAFECOMP '921992