Demonstration of Avionics Module Exchangeability via Simulation (DAMES) program overview | IEEE Conference Publication | IEEE Xplore