@article{pub5746,
author = {
Täubig, Holger
and
Frese, Udo
and
Hertzberg, Christoph
and
Lüth, Christoph
and
Mohr, Stefan
and
Vorobev, Elena
and
Walter, Dennis
},
title = {Guaranteeing Functional Safety: Design for Provability and Computer-Aided Verification},
year = {2012},
month = {4},
volume = {32},
number = {3},
pages = {303--331},
journal = {Autonomous Robots},
publisher = {Springer}
}