@Comment {Wed, 26 Apr 2017 13:56:42 GMT}

@InProceedings {CReSTIC-1773,
  author     = {Marang{\'e}, Pascale and Gouyon, David and P{\'e}tin, Jean-Fran\c{c}ois and Riera, Bernard},
  title      = {Verification of functional constraints for safe product driven control},
  booktitle  = {2nd IFAC Workshop on Dependable Control Discrete Systems},
  address    = {Bari, Italy},
  month      = jun,
  year       = 2009
}