Mehrdad Bidjan-Irani Uwe Glässer Franz J. Rammig Knowledge Based Tools for Testability Checking. 119-128 1987 conf/icftcs/1987 Fehlertolerierende Rechensysteme db/conf/icftcs/icftcs1987.html#Bidjan-IraniGR87