B
[BFH+03] Albert Benveniste, Éric Fabre, Stefan Haar, and Claude Jard. Diagnosis of asynchronous discrete event systems: A net-unfolding approach. IEEE Transactions on Automatic Control 48(5):714-727. IEEE Comp. Soc. Press, 2003. 
@article{tac48(5)-BFHJ,
  author =              {Benveniste, Albert and Fabre, {\'E}ric and Haar,
                         Stefan and Jard, Claude},
  title =               {Diagnosis of asynchronous discrete event systems:
                         A~net-unfolding approach},
  publisher =           {IEEE Comp. Soc. Press},
  journal =             {IEEE Transactions on Automatic Control},
  volume =              {48},
  number =              {5},
  pages =               {714-727},
  year =                {2003},
  doi =                 {10.1109/TAC.2003.811249},
}
List of authors