Multi-Level-Modellierung mit formaler Beobachtung und Bewertung von Modulen eines Testsystems für integrierte Schaltungen. - Thomas Gentner (2005)