@phdthesis{be-235,
  title = {Formal requirements engineering of manufacturing systems: a multi-formalism and component-based approach},
  author = {Michaël Petit},
  year = {1999},
  url = {https://researchportal.unamur.be/en/studentTheses/f9b797ba-05b4-420c-927e-213d6e5c772d},
  researchr = {https://researchr.org/publication/be-235},
  cites = {0},
  citedby = {0},
  school = {University of Namur, Belgium},
}