L. Lucio, M. Samer:
"Technology of Test-Case Generation";
in: "Model-Based Testing of Reactive Systems", M. Broy et al. (ed.); Springer-Verlag, Berlin Heidelberg, 2005, ISBN: 3-540-26278-4, 323 - 354.
http://aleph.ub.tuwien.ac.at/F?base=tuw01&func=find-c&ccl_term=AC05936172