Knowledge representation for instructors' aids in civil flight simulators | IEEE Conference Publication | IEEE Xplore