Online testing of nondeterministic systems with the reactive planning testerVain, Jüri; Kääramees, Marko; Markvardt, MailiDependability and computer engineering : concepts for software-intensive systems2012 / p. 113-150 : ill https://www.igi-global.com/chapter/online-testing-nondeterministic-systems-reactive/55327