Aida Ben Chehida Douss, Ryma Abassi, Nihel Ben Youssef, Sihem Guemara El Fatmi: A Formal Environment for MANET Organization and Security. CANS 2015: 144-159