Verificação automática de sistemas distribuídos e de tempo real