A case study of OSPF behavior in a large enterprise network | Synapse