@inproceedings{Hensel2003model,
  title = "Model Checking in an Industrial Environment",
  author = "Ulrich Hensel and Eva Fordran and Matthias Fruth and Hu Shaoyu and Madabhushi Srinivasan",
  year = "2003",
  booktitle = "Proceedings of the GI/ITG/GMM Workshop ``Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen"",
  publisher = "Shaker-Verlag",
}