Combining Control Executives and Software Specifications, 2000. ,
Communicating B Machines, LNCS, vol.2272, pp.416-435, 2002. ,
DOI : 10.1007/3-540-45648-1_22
Combining specification with composition, ZB2003: International Conference of Z and B Users. Volume 2651 of LNCS, 2003. ,
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