Improved embedded flight control system design process using integrated system design/code generation tools | IEEE Conference Publication | IEEE Xplore