Application of CASE tools in the development of commercial avionics software | IEEE Conference Publication | IEEE Xplore