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