A Model-Based Framework to Assess the Reliability of Safety-Critical Applications | IEEE Conference Publication | IEEE Xplore