@inproceedings{BEE+:2010,
  AUTHOR        = {Oliver Bringmann and Wolfgang Ecker and Volkan Esen and Erhard Fehlauer and Daniel Gro{\ss}e and Christoph Kuznik and Jan-Hendrik Oetjens and Andreas von Schwerin},
  TITLE         = {State-of-the-Art and Challenges in {ESL}-Verification},
  booktitle     = {Full-Day Tutorial at Design, Automation and Test in Europe (DATE)},
  year          = 2010
}