@inproceedings{BJ08,
 author = {Luboš Brim and Jiří Barnat},
 booktitle = {ISOLA 2008},
 pages = {604--618},
 publisher = {Springer Verlag},
 series = {CCIS},
 title = {{Squeeze All the Power Out of Your Hardware to Verify Your Software!}},
 volume = {17},
 year = {2008}
}