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