Truong, Ninh Thuan and Trinh, Thanh Binh and Nguyen, Viet Ha (2009) Coordinated Consensus Analysis of Multi-agent Systems Using Event-B. In: Seventh IEEE International Conference on Software Engineering and Formal Methods, 23-27 November 2009, Hanoi, Vietnam.