Case study of the Space Shuttle cockpit avionics upgrade software | IEEE Conference Publication | IEEE Xplore