Patrick Lamboley, Jean-François Pétin, Dominique Méry. Towards a formal engineering framework for process automation.
Seventh IEEE International Conference on Emerging Technologies & Factory Automation - ETFA'99, 1999, Barcelona, Spain, 8 p.
⟨inria-00098874⟩