Provable data plane connectivity with local fast failover: introducing openflow graph algorithms. - Borokhovich, Michael; Schiff, Liron; Schmid, Stefan (2014)