Modeling uncertainties in safety-critical real-time systems: A probabilistic component-based analysis | IEEE Conference Publication | IEEE Xplore