P. Caspi, N. Halbwachs, D. Pilaud, and J. Plaice, Lustre, a Declarative Language for Programming Synchronous Systems, 14th Symposium on Principles of Programming Languages, 1987.

B. Cohen, S. Venkataramanan, and A. Kumari, Using PSL/Sugar for formal and dynamic verification: Guide to Property Specification Language for Assertion-based Verification, 2004.

M. Hansen and Z. Chaochen, Duration calculus: Logical foundations, Formal Aspects of Computing, vol.40, issue.5, pp.283-330, 1997.
DOI : 10.1007/BF01211086

S. Iman and S. Joshi, The e hardware verification language, 2004.

K. Morin-allory and D. Borrione, On-line monitoring of properties built on regular expressions sequences Advances in Design and Specification Languages for Embedded Systems (Selected Contributions from FDL'06), pp.197-207, 2007.

M. F. Oliveira, C. Kuznik, H. M. Le, D. Große, F. Haedicke et al., The system verification methodology for advanced TLM verification, Proceedings of the eighth IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis, CODES+ISSS '12, pp.313-322, 2012.
DOI : 10.1145/2380445.2380497

L. Pierre and L. Ferro, A Tractable and Fast Method for Monitoring SystemC TLM Specifications, IEEE Transactions on Computers, vol.57, issue.10, pp.1346-1356, 2008.
DOI : 10.1109/TC.2008.74
URL : https://hal.archives-ouvertes.fr/hal-00323016