Towards Understanding and Reasoning About Android Interoperations | IEEE Conference Publication | IEEE Xplore