@inproceedings{MD:06a,
  author = {Gabor Madl and Nikil Dutt},
  title = {{Tutorial for the Open-source {\sc Dream} Tool}},
  booktitle = {{CECS Technical Report}},
  year = {2006}
}