On Reliability Analysis for Embedded Systems with AADL Behavior Model. - Shaofeng Chang; Yunwei Dong; Fan Zhang 099 (QSIC, 2012)