Introdução a Métodos Formais: Especificação, Semântica e Verificação de Sistemas Concorrentes.