Advanced Models for the OSPF Routing Protocol. - Courtney Darville; Peter Höfner; Franc Ivankovic; Adam Pam (MARS@ETAPS, 2022)