L. Buttyán and V. T. Ta, “Formal verification of secure ad-hoc network routing protocols using deductive model-checking”, Period. Polytech. Elec. Eng., vol. 55, no. 1-2, pp. 31–43, Jan. 2011.