Dawood Khan, Luca Santinelli, Liliana Cucu-Grosjean. Modeling uncertainties in safety-critical real-time systems: A probabilistic component-based analysis. In 7th IEEE International Symposium on Industrial Embedded Systems, SIES 2012, Karlsruhe, Germany, June 20-22, 2012. pages 166-175, IEEE, 2012. [doi]
Abstract is missing.