Validation and Verification of KADS Data and Domain Knowledge. - Alain Rouge; Jean Yves Lapicque; Florent Brossier; Yves Lozinguez (EUROVAV, 1993)