O. Ha, G. M. Tchamgoue, J. Suh, and Y. Jun, "On-the-fly Healing of Race Conditions in ARINC-653 Flight Software," In proceedings of Digital Avionics Systems Conference (DASC), 2010 IEEE/AIAA 29th, Salt Lake City, USA, IEEE, pp: 5.A.6-1 - 5.A.6-11, October 2010.