@Comment {Sun, 25 Jun 2017 03:43:03 GMT}

@InProceedings {CReSTIC-1761,
  author     = {Marang{\'e}, Pascale and Gellot, Fran\c{c}ois and Riera, Bernard},
  title      = {Proposition of plant model for the verification of system safety},
  booktitle  = {13th IFAC Symposium on Information Control Problems in Manufacturing},
  address    = {Moscow, Russia},
  pages      = 400--405,
  month      = jun,
  year       = 2009
}