A Qualitative Safety Analysis Method for AADL Model | IEEE Conference Publication | IEEE Xplore