A Configurable, Extensible Implementation of Inter-Partition Communication for Integrated Modular Avionics | IEEE Conference Publication | IEEE Xplore