P. Liggesmeyer, O. Mäckel, "Quantifying the reliability of embedded systems by automated analysis", in DSN 2001.
Bibtex Entry:
@INPROCEEDINGS{Liggesmeyer2001c,
author = {Liggesmeyer, P. and Mäckel, O.},
title = {Quantifying the reliability of embedded systems by automated analysis},
booktitle = {DSN 2001},
year = {2001}
}