PrefaceJohri, Prashant; Anand, Adarsh; Vain, Jüri; Singh, Jagvinder; Quasim, Mohammad TabrezSystem assurances : modeling and management2022 https://doi.org/10.1016/B978-0-323-90240-3.09998-7

Provably correct aspect-oriented modeling with UPPAAL timed automataVain, Jüri; Tsiopoulos, Leonidas; Kanter, GerdSystem assurances : modeling and management2022 / p. 447-476 https://doi.org/10.1016/B978-0-323-90240-3.00025-4

Test scenario generator learning for model-based testing of mobile robotsKanter, Gert; Liibert, Marti IngmarSystem assurances : modeling and management2022 / p. 67-84 https://doi.org/10.1016/B978-0-323-90240-3.00005-9