Formal method industrial use from model to the code - Boulanger, Jean-Louis. (Industrial implementation of formal methods series, 2012)