J. R. Abrial, The B Book, 1996.
DOI : 10.1017/CBO9780511624162

J. R. Abrial, Modeling in Event-B: System and Software Engineering, 2010.
DOI : 10.1017/CBO9781139195881

J. Ferber, Multi-Agent Systems: An Introduction to Distributed Artificial Intelligence, 1999.

J. Ferber and J. P. Muller, Influences and Reaction : a Model of Situated Multiagent Systems, 2nd Int. Conf. on Multi-agent Systems, pp.72-79, 1996.

A. Lanoix, Event-B Specification of a Situated Multi-Agent System: Study of a Platoon of Vehicles, 2008 2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering, 2008.
DOI : 10.1109/TASE.2008.39
URL : https://hal.archives-ouvertes.fr/hal-00260577

M. Leuschel and M. Butler, ProB: an automated analysis toolset for the B method, International Journal on Software Tools for Technology Transfer, vol.49, issue.3, pp.185-203, 2008.
DOI : 10.1007/s10009-007-0063-9

M. Leuschel, J. Falampin, F. Fritz, and D. Plagge, Automated property verification for large scale b models with prob. Formal Aspects of Computing pp, pp.1-27, 2011.
DOI : 10.1007/s00165-010-0172-1