Model Checking, Synthesis, and Learning - Ernst-Rüdiger Olderog; Steffen, Bernhard; Yi, Wang (Springer International Publishing, 2021)