Semiformale Methoden für den automatisierten Test eingebetteter Systeme - Deutschmann, Rocco 1977- (2007)