TY - CONF AU - Hellebrand, Sybille AU - Wunderlich, Hans-Joachim ID - 13013 T2 - European Design and Test Conference (EDAC/ETC/EUROASIC) TI - Synthesis of Self-Testable Controllers ER -