Property-based Monitoring of Analog and Mixed-signal Systems Property-based Monitoring of Analog and Mixed-signal Systems J. Havlicek1, S. Little1, O. Maler2 and D. Nickovic3…