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 January 10, 2026. https://vjs.ac.vn/jst/article/view/1896.