AADL-Based Safety Analysis Approaches for Safety-Critical Systems | IEEE Conference Publication | IEEE Xplore