Björnander, Stefan, Cristina Seceleanu, Kristina Lundqvist, and Paul Pettersson. “A FORMAL ANALYSIS FRAMEWORK FOR AADL”. <i>Vietnam Journal of Science and Technology</i> 49, no. 5 (August 9, 2012). Accessed July 22, 2026. http://vjst.vast.vn/jst/article/view/1896.