Model Checking, Synthesis, and Learning heftetEngelsk, 2021