Formal comparison of LEACH and its extensions. - Ainan Ihsan; Kashif Saghar; Tayyba Fatima; Osman Hasan (Comput. Stand. Interfaces, 2019)