Detecting Malicious Collusion Between Mobile Software Applications: The Android TM Case - Markus Roggenbach (Springer, 2017)