Logica modal aplicada a verificação de sistemas a eventos discretos - Pessanha, Christiano Pereira (2004)
Orientador: Rafael Santos Mendes