Ma, et al.. Interpretation of AADL Behavior Annex into Synchronous Formalism Using SSA. IEEE, 2010, doi:10.1109/cit.2010.406.