Formal Methods – Fun for Everybody - Cerone, Antonio (Springer International Publishing, 2021)