In English
2014 : Formal Methods Applied to Industrial Complex Systems: Implementation of the B Method, Jean-Louis Boulanger (Editor), ISBN: 978-1-84821-709-6, 496 pages, July 2014, Wiley-ISTE
2014 : Formal Methods Applied to Complex Systems, Jean-Louis Boulanger (Editor), ISBN: 978-1-84821-632-7, 480 pages, July 2014, Wiley-ISTE
In French
2013: Sous la direction de jean-Louis Boulanger, « Mise en œuvre industriel des techniques formelle – méthode B », HERMES, Avril 2013, 420 pages
