An AADL-based design for dynamic reconfiguration of DIMA | IEEE Conference Publication | IEEE Xplore