Formal Models of the OSPF Routing Protocol. - Jack Drury; Peter Höfner; Weiyou Wang (MARS@ETAPS, 2020)