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