S. Björnander, C. Seceleanu, K. Lundqvist, and P. Pettersson, “A FORMAL ANALYSIS FRAMEWORK FOR AADL”, Vietnam J. Sci. Technol., vol. 49, no. 5, Aug. 2012.