Daniele Rossi Martin Omaña Cecilia Metra Checkers' No-Harm Alarms and Design Approaches to Tolerate Them. 93-103 2008 24 J. Electronic Testing 1-3 http://dx.doi.org/10.1007/s10836-007-5031-5 db/journals/et/et24.html#RossiOM08