Jinkui Xie, Linpeng Huang. Specification and Verification of Position Based Routing for Mobile Ad Hoc System. In Fifth International Conference on Computer and Information Technology (CIT 2005), 21-23 September 2005, Shanghai, China. pages 406-409, IEEE Computer Society, 2005. [doi]