@InProceedings{BJ08,
  author =       "L. Brim and J.Barnat",
  title =        "{Squeeze All the Power Out of Your Hardware to Verify Your Software!}",
  booktitle =    "ISOLA 2008",
  pages =        "604--618",
  series =       "CCIS",
  volume =       "17",
  publisher =    "Springer Verlag",
  year =         "2008"
}