A Behavior Annex For AADL Using The DEVS Formalism | IEEE Conference Publication | IEEE Xplore