Using B as a High Level Programming Language in an Industrial Project: Roissy VAL. - Frédéric Badeau; Arnaud Amelot (ZB, 2005)