pedro severino martins