H. Treharne, Combining Control Executives and Software Specifications, 2000.

S. Schneider and H. Treharne, Communicating B Machines, LNCS, vol.2272, pp.416-435, 2002.
DOI : 10.1007/3-540-45648-1_22

H. E. Treharne, S. A. Schneider, and M. Bramble, Combining specification with composition, ZB2003: International Conference of Z and B Users. Volume 2651 of LNCS, 2003.

S. Colin, A. Lanoix, O. Kouchnarenko, and J. Souquières, Towards validating a platoon of cristal vehicles using CSPB, 12th International Conference on Algebraic Methodology and Software Technology, pp.2008-2015, 2008.
URL : https://hal.archives-ouvertes.fr/hal-00261630