Björnander, S., Seceleanu, C., Lundqvist, K., & Pettersson, P. (2012). A FORMAL ANALYSIS FRAMEWORK FOR AADL. <i>Vietnam Journal of Science and Technology</i>, <i>49</i>(5). https://doi.org/10.15625/0866-708X/49/5/1896