Asynchrony-aware static analysis of Android applications | IEEE Conference Publication | IEEE Xplore