(1)Björnander, S.; Seceleanu, C.; Lundqvist, K.; Pettersson, P. A FORMAL ANALYSIS FRAMEWORK FOR AADL. <i>Vietnam J. Sci. Technol.</i> <b>2012</b>, <i>49</i>.