Using formal methods in distributed system designAwwama Emad, Kadi Mohammad, Krayem Said, Lazar Ivo and Rihawi AhmadMATEC Web Conf., 125 (2017) 02033DOI: https://doi.org/10.1051/matecconf/201712502033
