Execução segura com contentores - Correia, João Marques (2020)