M. Abadi and L. Lamport, An old-fashioned recipe for real time, ACM Transactions on Programming Languages and Systems, vol.16, issue.5, pp.1543-1571, 1994.
DOI : 10.1145/186025.186058

S. Anderson and J. K. Filipe, Guaranteeing temporal validity with a real-time logic of knowledge, 23rd International Conference on Distributed Computing Systems Workshops, 2003. Proceedings., pp.178-183, 2003.
DOI : 10.1109/ICDCSW.2003.1203551

N. C. Audsley, A. Burns, M. F. Richardson, and A. J. Wellings, Data consistency in hard real-time systems, 1993.

M. Charpentier, M. Filali, P. Mauran, G. Padiou, and P. Quinnec, THE OBSERVATION: AN ABSTRACT COMMUNICATION MECHANISM, Parallel Processing Letters, vol.09, issue.03, pp.437-450, 1999.
DOI : 10.1142/S0129626499000402

L. Lamport, Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers, 2002.

E. Lee and A. Sangiovanni-vincentelli, A framework for comparing models of computation, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol.17, issue.12, pp.1217-1229, 1998.
DOI : 10.1109/43.736561

G. Ros¸uros¸u and S. Bensalem, Allen Linear (Interval) Temporal Logic ? Translation to LTL and Monitor Synthesis, International Conference on Computer-Aided Verification (CAV'06), number 4144 in Lecture Notes in Computer Science, pp.263-277, 2006.

X. C. Song and J. W. Liu, Maintaining temporal consistency: pessimistic vs. optimistic concurrency control, IEEE Transactions on Knowledge and Data Engineering, vol.7, issue.5, pp.786-796, 1995.
DOI : 10.1109/69.469820

K. Tindell and J. Clark, Holistic schedulability analysis for distributed hard real-time systems, Microprocessing and Microprogramming, vol.40, issue.2-3, pp.117-134, 1994.
DOI : 10.1016/0165-6074(94)90080-9

M. Xiong, R. Sivasankaran, J. A. Stankovic, K. Ramamritham, and D. Towsley, Scheduling transactions with temporal constraints: exploiting data semantics, RTSS '96: Proc. of the 17th IEEE Real-Time Systems Symposium, pp.240-253, 1996.