Jean-François Pétin, Gérard Morel, Dominique Méry, Patrick Lamboley. Process control engineering: contribution to a formal structuring framework with the B method.
The 2nd International B Conference, 1998, Montpellier, France. pp.198-209.
⟨inria-00098406⟩