Understanding and Changing the World - Joseph Sifakis (Springer, 2022)