Modelchecking von Klassifikationsbaum-Testsequenzen
A. Krupp, W. Müller, (2005).