Function extraction (FX) technology: automated calculation of program behavior for high-assurance systems | IEEE Conference Publication | IEEE Xplore