BJÖRNANDER, Stefan; SECELEANU, Cristina; LUNDQVIST, Kristina; PETTERSSON, Paul. A FORMAL ANALYSIS FRAMEWORK FOR AADL. <b>Vietnam Journal of Science and Technology</b>, Hanoi, VN, v. 49, n. 5, 2012. DOI: 10.15625/0866-708X/49/5/1896. Disponível em: https://vjs.ac.vn/jst/article/view/1896. Acesso em: 10 jan. 2026.