Verificação Automática de Sistemas Distribuídos e de Tempo Real