Björnander, Stefan, Cristina Seceleanu, Kristina Lundqvist, and Paul Pettersson. 2012. “A FORMAL ANALYSIS FRAMEWORK FOR AADL”. <i>Vietnam Journal of Science and Technology</i> 49 (5). Hanoi, VN. https://doi.org/10.15625/0866-708X/49/5/1896.