Design and Implementation of AADL Model Safety Assessment Tool | IEEE Conference Publication | IEEE Xplore