Partitioning strategy of flight software for the IMA system | IEEE Conference Publication | IEEE Xplore