O Tempo como Modelo: Aplicação de Lógicas Temporais na Especificação Formal de Sistemas Distribuídos, Wamberto Weber M. P. Vasconcelos