The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy - Mário S. Alvim, Kostas Chatzikokolakis, Carlos Olarte, Frank Valencia (Springer, 2019)