Formally modeling and verifying Ricart&Agrawala distributed mutual exclusion algorithm | IEEE Conference Publication | IEEE Xplore