• Synthesis of on-line planning tester for non-deterministic EFSM modelsKääramees, Marko; Vain, Jüri; Raiend, KulloTesting - Practice and Research Techniques : 5th International Academic and Industrial Conference TAIC PART 2010 : Windsor, UK, September 3-5, 2010 : proceedings2010 / p. 147-154 https://link.springer.com/chapter/10.1007/978-3-642-15585-7_14