1. Temporal-logic based runtime observer pairs for system health management of real-time systems;Reinbacher,2014
2. Real-time logics: complexity and expressiveness;Alur,1990
3. Monitoring temporal properties of continuous signals;Maler,2004
4. Linear temporal logic and linear dynamic logic on finite traces;De Giacomo,2013
5. The temporal logic of programs;Pnueli,1977