Improving Validation and Verification of KBSs through Naturally Comprehensible Flow Representations. - R. Phelps; W. Aerts; J.-M. Forêt (EUROVAV, 1993)