Architectural and Behavioral Modeling with AADL for Fault Tolerant Embedded Systems | IEEE Conference Publication | IEEE Xplore