@article{TUW-110121, author = {Belanovic, Pavle and Knerr, Bastian and Holzer, Martin and Rupp, Markus}, title = {A Fully Automated Environment for Verification of Virtual Prototypes}, journal = {EURASIP Journal on Applied Signal Processing}, year = {2006}, volume = {2006}, pages = {1--12}, url = {http://publik.tuwien.ac.at/files/pub-et_11034.pdf} }