Extending and Recompiling AADL for CPS Modeling | IEEE Conference Publication | IEEE Xplore