Formal specification and verification of JXTA's Endpoint Routing Protocol. - Yannick L. Kala Konga; Karim Djouani (AFRICON, 2011)