Reliability Analysis in the Early Development of Real-Time Reactive Systems | IEEE Conference Publication | IEEE Xplore