Suad Katjazovic Christian Steger Andreas Schuhai Markus Pistauer Automatic Generation of a Verification Platform. 153-165 2005 FDL http://www.ecsi-association.org/ecsi/main.asp?l1=library&fn=def&id=443 conf/fdl/2005 db/conf/fdl/fdl2005.html#KatjazovicSSP05