The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy - Alvim; Chatzikokolakis, Kostas; Olarte, Carlos; Valencia, Frank (Springer International Publishing, 2019)