@book{DBLP:series/lnee/Sterpone09,
author = {Luca Sterpone},
title = {Electronics System Design Techniques for Safety Critical
Applications},
publisher = {Springer},
series = {Lecture Notes in Electrical Engineering},
volume = {26},
year = {2009},
isbn = {978-1-4020-8979-7},
ee = {http://dx.doi.org/10.1007/978-1-4020-8979-4},
bibsource = {DBLP, http://dblp.uni-trier.de}
}