1. Logics and models of real time: a survey;Alur,1992
2. A really temporal logic;Alur;J. ACM,1994
3. Runtime monitoring processes across blockchains;Azzopardi,2021
4. On the specification and monitoring of timed normative systems;Azzopardi,2021
5. Predictive run-time verification of discrete-time reachability properties in black-box systems using trace-level abstraction and statistical learning;Babaee,2018