A high-level modeling language for the efficient design, implementation, and testing of Android applications. - Mohamad Jaber 001; Yliès Falcone; Kinan Dak-Al-Bab; John Abou-Jaoudeh; Mostafa El-Katerji (Int. J. Softw. Tools Technol. Transf., 2018)