Planning and verification of multipath routing protocols - Vitorino, Tiago Miguel Mendes Ferreira (2014)