A general framework for applying safety analysis to safety critical real-time applications using fault trees | IEEE Conference Publication | IEEE Xplore