Rafael Almeida, Ruben Filipe de Sousa Pereira, Miguel Mira da Silva
Browse the full CaiSE paper archive.