Characterization of Failure Effects on AADL Models. - Bernhard Ern; Viet Yen Nguyen; Thomas Noll 001 (SAFECOMP, 2013)