Systemsimulationen zur funktionalen Verifikation by Stefan Joeres