Mechanisms for Modeling and Validation of Smart Contracts - Afonso, João Miguel de Almeida (2023)