@InProceedings{bauer:others:dx11,
  author =	 {Andreas Bauer and Adi Botea and Alban Grastien and Patrik Haslum and Jussi Rintanen},
  title =        {Alarm processing with model-based diagnosis of discrete event systems},
  booktitle =	 {Proceedings of the 22st International Workshop on the Principles of Diagnosis (DX)},
  year =	 2011,
  month =	 Oct,
}