Model Checking for Mobile Android Malware Evolution | IEEE Conference Publication | IEEE Xplore