Integration design tool for avionics system based on mathematical programming | IEEE Conference Publication | IEEE Xplore