H. Barringer, A. Goldberg, K. Havelund, and K. Sen, Rule-Based Runtime Verification, VMCAI 2004, vol.2937, 2004.

A. Bauer, M. Leucker, and J. Streit, SALT -Structured Assertion Language for Temporal Logic, ICFEM 2006, vol.4260, 2006.

Y. Blein, Y. Ledru, L. Du-bousquet, and R. Groz, Extending Specification Patterns for Verification of Parametric Traces, 2018.
URL : https://hal.archives-ouvertes.fr/hal-02004378

M. B. Dwyer, G. S. Avrunin, and J. C. Corbett, Patterns in Property Specifications for Finite-State Verification, ICSE' 99, 1999.

S. Hallé and R. Villemaire, Runtime Monitoring of Message-Based Workflows with Data, 2008.

C. B. Jones, Formal Methods Light. ACM Comput. Surv, vol.28, p.121, 1996.

R. L. Smith, G. S. Avrunin, L. A. Clarke, and L. J. Osterweil, PROPEL: an approach supporting property elucidation, 2002.