1. The potential dangers of causal consistency and an explicit solution
2. David Basin , Søren Debois , and Thomas Hildebrandt . 2016 . In the Nick of Time: Proactive Prevention of Obligation Violations. IEEE Computer Security Foundations Symposium . Proceedings, 120--134. IEEE Computer Security Foundations Symposium, CSF; Conference date: 27-06-2016 Through 01-07-2016 . David Basin, Søren Debois, and Thomas Hildebrandt. 2016. In the Nick of Time: Proactive Prevention of Obligation Violations. IEEE Computer Security Foundations Symposium. Proceedings, 120--134. IEEE Computer Security Foundations Symposium, CSF; Conference date: 27-06-2016 Through 01-07-2016.
3. Monitoring security policies with metric first-order temporal logic
4. Monitoring Metric First-Order Temporal Properties
5. Bertil Brandin and Walter Wonham . 1994. Supervisory control of timed discrete-event systems. Automatic Control , IEEE Transactions on 39 (03 1994 ), 329 -- 342. Bertil Brandin and Walter Wonham. 1994. Supervisory control of timed discrete-event systems. Automatic Control, IEEE Transactions on 39 (03 1994), 329 -- 342.