Visual Designing Knowledge Bases for Aircraft Diagnostics Using State Transition Diagrams | IEEE Conference Publication | IEEE Xplore