Harbhajan Singh Mirko Conrad Sadegh Sadeghipour Test Case Design Based on Z and the Classification-Tree Method. 81-90 1997 ICFEM db/conf/icfem/icfem1997.html#SinghCS97