LEILA: formaL tool for idEntifying mobIle maLicious behAviour