Peter Liggesmeyer, Oliver Mäckel. Quantifying the Reliability of Embedded Systems by Automated Analysis. In 2001 International Conference on Dependable Systems and Networks (DSN 2001) (formerly: FTCS), 1-4 July 2001, Göteborg, Sweden, Proceedings. pages 89-96, IEEE Computer Society, 2001. [doi]
Abstract is missing.