On Reliability Analysis for Embedded Systems with AADL Behavior Model | IEEE Conference Publication | IEEE Xplore