Binh, T., Thuan, T., & Ha, N. (2012). Automated analysis of consensus protocol in specifcation of multi-agents coordination. VNU Journal Of Science: Natural Sciences And Technology, 28(1). Retrieved from https://js.vnu.edu.vn/NST/article/view/1166