Guaranteeing Functional Safety: Design for Provability and Computer-Aided Verification

@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}
}