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