Formal Methods for an Informal World ICTAC 2021 Summer School, Virtual Event, Astana, Kazakhstan, September 1-7, 2021, Tutorial Lectures - Cerone, Antonio. (Springer International Publishing,)