Eventos e Periódicos em Métodos Formais