Probabilistic model-checking support for FMEA. (2007)

by L Grunske, R Colvin, K Winter
Venue:In QEST,