To model control plane structure, we leverage prior work on configuration models [5].
we extract routing instances from device configurations, where each instance is a collection of routing processes of the same type (e.g., OSPF processes) on different devices that are in the transitive closure of the adjacent-to relationship.