Validation and verification of knowledge based systems theory, tools and practice (Kluwer, 1999)