Péter Bokor Marco Serafini Áron Sisak András Pataricza Neeraj Suri Sustaining Property Verification of Synchronous Dependable Protocols Over Implementation. 169-178 2007 conf/hase/2007 HASE http://doi.ieeecomputersociety.org/10.1109/HASE.2007.68 db/conf/hase/hase2007.html#BokorSSPS07