@inproceedings{Gro:2008b,
  author = {Daniel Gro{\ss}e},
  title = {Using Formal Methods for Verification of Complex Systems},
  booktitle = {EDAA/DATE PhD Forum at Design, Automation and Test in Europe},
  year = {2008},
}