Systemsimulationen zur funktionalen Verifikation door Stefan Joeres