Model-based deployment generation for safety-critical avionics systems | IEEE Conference Publication | IEEE Xplore