Reactive Testing of Nondeterministic Systems by Test Purpose-Directed Tester. - Juri Vain; Andres Kull; Marko Kääramees; Maili Markvardt; Kullo Raiend (Model-Based Testing for Embedded Systems, 2011)