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 Jan. 10];49(5). Available from: https://vjs.ac.vn/jst/article/view/1896