Automatic Generation of a Verification Platform. - Suad Katjazovic; Christian Steger; Andreas Schuhai; Markus Pistauer (FDL, 2005)