Björnander, S. (2012) “A FORMAL ANALYSIS FRAMEWORK FOR AADL”, <i>Vietnam Journal of Science and Technology</i>. Hanoi, VN, 49(5). doi: 10.15625/0866-708X/49/5/1896.