@inproceedings{ReinbacherKramerHoraueretal.2008,
  author    = {Thomas Reinbacher and Michael Kramer and Martin Horauer and Bastian Schlich},
  title     = {hallenges in Embedded Model Checking - A Simulator for the [mc]square Model Checker},
  booktitle = {Proceedings of the 3th IEEE Symposium on Industrial Embedded Systems (SIES 2008), June 11-13, 2008, Montpellier},
  pages     = {277 -- 280},
  year      = {2008},
}