NetCo: Reliable Routing With Unreliable Routers
I know what your packet did last hop: using packet histories to troubleshoot networks