Formalising the Optimised Link State Routing Protocol. - Ryan Barry; Rob van Glabbeek; Peter Höfner (MARS@ETAPS, 2020)