Mercaldo, F.; Martinelli, F.; Santone, A. Timed Automata for Mobile Ransomware Detection. eceasst 2021, 79.