1.Björnander S, Seceleanu C, Lundqvist K, Pettersson P. A FORMAL ANALYSIS FRAMEWORK FOR AADL. Vietnam J. Sci. Technol. [Internet]. 2012 Aug. 9 [cited 2026 Jul. 22];49(5). Available from: http://vjst.vast.vn/jst/article/view/1896