Identification of Android Malware Families with Model Checking