Synthesis of test purpose directed reactive planning tester for nondeterministic systems. - Vain, Jüri; Raiend, Kullo; Kull, Andres; Ernits, Juhan P. (2007)