Automated compositional safety analysis using component fault trees | IEEE Conference Publication | IEEE Xplore