• Model-based testing of autonomous robots using TestItKanter, Gert; Vain, JüriJournal of reliable intelligent environments2020 / p. 15-30 https://doi.org/10.1007/s40860-019-00095-w https://www.scopus.com/sourceid/21100901156 https://www.scopus.com/record/display.uri?eid=2-s2.0-85077558124&origin=inward&txGid=f8938b9d6967d877ea6245670ea2f064