Inkrementelle Entwicklung von Verhaltensmodellen zum Test von reaktiven Systemen. - Wolfgang Ludwig Johann Prenninger (2005)