- Paulo Sanchez Lemos Alves advised by Sérgio Guerreiro and Pedro Manuel Moreira Vaz Antunes de Sousa, Dynamic Stable Business Process Operation for Cyber Security Enforcement Using Atlas, MSc Thesis at Instituto Superior Técnico, Jan. 2021 [bibTex]