A risk-based approach for the evaluation on software maintenance options for militarized avionics | IEEE Conference Publication | IEEE Xplore