A maintenance support system based on high-level control-flow and data dependency | IEEE Conference Publication | IEEE Xplore