Modeling the Network Layer and Routing Protocols - Pengfei Di and Matthias Wählisch and Georg Wittenburg (Heidelberg ; Springer, 2010)