Process Control Engineering: Contribution to a Formal Structuring Framework with the B Method. - Jean-François Pétin; Gérard Morel; Dominique Méry; Patrick Lamboley (B, 1998)