Automatized Verification of Ad Hoc Routing Protocols. - Oskar Wibling; Joachim Parrow; Arnold Neville Pears (FORTE, 2004)

Ad Hoc Routing Protocol Verification Through Broadcast Abstraction. - Oskar Wibling; Joachim Parrow; Arnold Neville Pears (FORTE, 2005)

Graph Grammar Modeling and Verification of Ad Hoc Routing Protocols. - Mayank Saksena; Oskar Wibling; Bengt Jonsson 001 (TACAS, 2008)

Creating Correct Network Protocols. - Oskar Wibling (2008)