Formal Verification of the Ricart-Agrawala Algorithm. - Ekaterina Sedletsky; Amir Pnueli; Mordechai Ben-Ari (FSTTCS, 2000)