Uncertainty Analysis of Race Conditions in Real-Time Systems | IEEE Conference Publication | IEEE Xplore