Formal verification of the cooperative behaviour of network nodes for routing and context dissemination. - Stylianos Georgoulas; Klaus Moessner; Demos Eracleous; Michele Nati (Future Network & Mobile Summit, 2012)