F. Mercaldo, F. Martinelli, and A. Santone, “Timed Automata for Mobile Ransomware Detection”, ECEASST, vol. 79, May 2021.