D. Remenska, From UML to Process Algebra and Back: An Automated Approach to Model-Checking Software Design Artifacts of Concurrent Systems, Proc. NFM'13
DOI : 10.1007/978-3-642-38088-4_17

J. Groote, The Formal Specification Language mCRL2, Proc. MMOSS'06

J. F. Groote and T. A. Willemse, Model-checking processes with data, Science of Computer Programming, vol.56, issue.3, 2005.
DOI : 10.1016/j.scico.2004.08.002

M. B. Dwyer, Patterns in property specifications for finite-state verification, Proc. ICSE'99

M. B. Dwyer, Property Specification Patterns http
DOI : 10.1145/298595.298598
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.132.198

R. L. Smith, PROPEL, Proceedings of the 24th international conference on Software engineering , ICSE '02
DOI : 10.1145/581339.581345

S. Konrad and B. H. Cheng, Facilitating the construction of specification pattern-based properties, 13th IEEE International Conference on Requirements Engineering (RE'05)
DOI : 10.1109/RE.2005.29

O. Mondragon, A. Q. Gates, and S. Roach, Prospec, Proc. of Runtime Verification Workshop, 2004.
DOI : 10.1016/S1571-0661(04)81043-0

M. Autili, P. Inverardi, and P. Pelliccione, Graphical scenarios for specifying temporal properties: an automated approach, Automated Software Engineering, vol.13, issue.1, 2007.
DOI : 10.1007/s10515-007-0012-6

I. Lee and O. Sokolsky, A Graphical Property Specification Language, Proc. of 2nd IEEE Workshop on High-Assurance Systems Engineering, 1997.

M. H. Smith, Events and constraints: a graphical editor for capturing logic requirements of programs, Proceedings Fifth IEEE International Symposium on Requirements Engineering
DOI : 10.1109/ISRE.2001.948539

A. Knapp and J. Wuttke, Model Checking of UML 2.0 Interactions, Proc. MoDELS'06
DOI : 10.1007/978-3-540-69489-2_6

J. Lilius and I. P. Paltor, vUML: a tool for verifying UML models, 14th IEEE International Conference on Automated Software Engineering
DOI : 10.1109/ASE.1999.802301

H. Kugler, Temporal Logic for Scenario-Based Specifications, Proc. TACAS'05
DOI : 10.1007/978-3-540-31980-1_29

L. Baresi, C. Ghezzi, and L. Zanolin, Modeling and Validation of Publish/Subscribe Architectures
DOI : 10.1007/3-540-27071-X_13

D. Giannakopoulou and K. Havelund, Automata-based verification of temporal properties on running programs, Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001)
DOI : 10.1109/ASE.2001.989841

E. A. Emerson, Model checking and the Mu-calculus, DIMACS Series in Discrete Mathematics, 1997.

S. Cranen, J. F. Groote, and M. Reniers, A linear translation from CTL* to the first-order modal ?? -calculus, Theoretical Computer Science, vol.412, issue.28, 2011.
DOI : 10.1016/j.tcs.2011.02.034

D. Harel and S. Maoz, Assert and negate revisited, Proceedings of the 2006 international workshop on Scenarios and state machines: models, algorithms, and tools , SCESM '06, 2008.
DOI : 10.1145/1138953.1138958

R. Mateescu, Property Pattern Mappings for Regular Alternation-Free µ-Calculus http

A. Bauer, Monitorability of omega-regular languages, p.3638, 2010.

D. Remenska and T. A. Willemse, PASS: Property ASSistant tool for Eclipse https

A. Tsaregorodtsev, DIRAC: a community grid solution, Proc. CHEP'07
DOI : 10.1088/1742-6596/119/6/062048
URL : https://hal.archives-ouvertes.fr/in2p3-00186997

S. Blom and J. Van-de-pol, Symbolic Reachability for Process Algebras with Recursive Data Types, In: Theoretical Aspects of Computing, 2008.
DOI : 10.1007/978-3-540-85762-4_6