A Behavior Annex For AADL Using The DEVS Formalism. - Ehsan M. Ahmad; Hessam S. Sarjoughian (SpringSim, 2019)