Automatic Generation of Component Fault Trees from AADL Models for Design Failure Modes and Effects Analysis | IEEE Conference Publication | IEEE Xplore