Semiformale Methoden für den automatisierten Test eingebetteter Systeme - Deutschmann, Rocco 1977- (Dresden, Techn. Univ., Diss., 2007, 2007)