Björnander, Stefan, et al. “A FORMAL ANALYSIS FRAMEWORK FOR AADL”. <i>Vietnam Journal of Science and Technology</i>, vol. 49, no. 5, Aug. 2012, doi:10.15625/0866-708X/49/5/1896.