Frequency Automata: A novel formal model of hybrid systems in combined time and frequency domains. - Moon Kim 006; Avinash Malik; Partha S. Roop (CoRR, 2025)