Buttyán, Levente, and Vinh Thong Ta. 2011. “Formal Verification of Secure Ad-Hoc Network Routing Protocols Using Deductive Model-Checking”. Periodica Polytechnica Electrical Engineering 55 (1-2):31-43. https://doi.org/10.3311/pp.ee.2011-1-2.04.