Dubravka Ilic Elena Troubitsyna Linas Laibinis Colin F. Snook Formal Development of Mechanisms for Tolerating Transient Faults. 189-209 2006 conf/rodin/2006 RODIN Book http://dx.doi.org/10.1007/11916246_10 db/conf/rodin/rodin2006.html#IlicTLS06