Binh, Trinh, Truong Ninh Thuan, & Nguyen Viet Ha. " Automated analysis of consensus protocol in specifcation of multi-agents coordination." VNU Journal of Science: Natural Sciences and Technology [Online], 28.1 (2012): n. pag. Web. 12 May. 2025