AADS+: AADL Simulation Including the Behavioral Annex | IEEE Conference Publication | IEEE Xplore