https://karneliuk.com/2021/06/network-analysis-2-analysing-network-configuration-consistency-sanity-check-bgp-routes-with-batfish-for-cisco-arista-and-cumulus/