- Marta Maria Simões Aparicio advised by Sérgio Guerreiro and Pedro Manuel Moreira Vaz Antunes de Sousa, Implementação de Demo Action Model em Blockchain Smart Contracts, MSc Thesis at Instituto Superior Técnico, Jan. 2021 [bibTex]