Stealthy attacks formalized as STL formulas for Falsification of CPS Security. - Aniruddh Chandratre; Tomas Hernandez Acosta; Tanmay Khandait; Giulia Pedrielli; Georgios Fainekos (HSCC, 2023)