Mercaldo, Francesco, et al. “Timed Automata for Mobile Ransomware Detection”. Electronic Communications of the EASST, vol. 79, May 2021, doi:10.14279/tuj.eceasst.79.1120.