Zum modellbasierten funktionalen Test reaktiver Systeme - Pretschner, Alexander 1975- (2003)