Buttyán, L. and Ta, V. T. (2011) “Formal verification of secure ad-hoc network routing protocols using deductive model-checking”, Periodica Polytechnica Electrical Engineering, 55(1-2), pp. 31–43. 10.3311/pp.ee.2011-1-2.04.