A demonstrator for the verification of the selective integration of the Flexible Platform approach into Integrated Modular Avionics | IEEE Conference Publication | IEEE Xplore