Sustaining Property Verification of Synchronous Dependable Protocols Over Implementation. - Péter Bokor; Marco Serafini; Áron Sisak; András Pataricza; Neeraj Suri (HASE, 2007)