@Comment {Tue, 22 Aug 2017 22:33:06 GMT}

@Article {CReSTIC-2509,
  author     = {Philippot, Alexandre and Marang{\'e}, Pascale and Gellot, Fran\c{c}ois and Riera, Bernard},
  title      = {Decentralized Diagnosis and Diagnosability by Model Checking},
  journal    = {Universal Journal of Control and Automation},
  publisher  = {Horizon Research Publishing Corporation},
  editor     = {Prof.  Guan-Chun Luh},
  volume     = 1,
  number     = 2,
  pages      = 28--33,
  month      = sep,
  year       = 2013
}