C. Baier and J. Katoen, Principles of Model Checking (Representation and Mind Series ), 2008.

P. [. Berthomieu, F. Ribet, and . Vernadat, The tool TINA ??? Construction of abstract state spaces for petri nets and time petri nets, International Journal of Production Research, vol.99, issue.14, pp.2741-2756, 2004.
DOI : 10.1137/0216062

E. [. Clarke, J. Emerson, and . Sifakis, Model checking, Communications of the ACM, vol.52, issue.11, pp.74-84, 2009.
DOI : 10.1145/1592761.1592781

F. [. Dhaussy, J. Boniol, L. Roger, and . Leroux, Improving Model Checking with Context Modelling, Advances in Software Engineering, vol.6, issue.1, 2012.
DOI : 10.1016/j.ins.2006.03.008
URL : https://hal.archives-ouvertes.fr/hal-00738735

. [. Es-salhi, Un langage de requete pour un systeme de transitions, 2015.

R. [. Goldsmith, A. O-'callahan, and . Aiken, Relational Queries over Program Traces, Proc. of the 20th ACM SIGPLAN Conf. on Object-oriented Programming, Systems , Languages, and Applications. OOPSLA '05, pp.385-402, 2005.
DOI : 10.1145/1103845.1094841
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.115.6029

S. [. Griesmayer, R. Staber, and . Bloem, Automated Fault Localization for C Programs, Proceedings of the Workshop on Verification and Debugging, pp.95-111, 2007.
DOI : 10.1016/j.entcs.2006.12.032

]. G. Hol97 and . Holzmann, The Model Checker SPIN, Software Engineering, vol.23, issue.5, pp.279-295, 1997.

N. [. Herlihy and . Shavit, The Art of Multiprocessor Programming, Revised Reprint, 2012.

Y. [. Khan, X. Wu, and . Yan, Emerging Graph Queries in Linked Data, 2012 IEEE 28th International Conference on Data Engineering, pp.1218-1221, 2012.
DOI : 10.1109/ICDE.2012.143

]. L. Lam84 and . Lamport, Invited Address: Solved Problems, Unsolved Problems and Nonproblems in Concurrency, Proceedings of the Third Annual ACM Symposium on Principles of Distributed Computing, pp.1-11, 1983.

K. G. Larsen, P. Pettersson, and W. Yi, Uppaal in a nutshell, International Journal on Software Tools for Technology Transfer, vol.1, issue.1-2, pp.134-152, 1997.
DOI : 10.1007/s100090050010

M. Martin, B. Livshits, and M. S. Lam, Finding Application Errors and Security Flaws Using PQL: A Program Query Language, Proc. of the 20th ACM SIGPLAN Conf. on Object-oriented Programming, Systems, Languages, and Applications. OOPSLA '05, pp.365-383, 2005.

E. [. Pothier, J. Tanter, and . Piquer, Scalable omniscient debugging, ACM SIGPLAN Notices, vol.42, issue.10, pp.535-552, 2007.
DOI : 10.1145/1297105.1297067
URL : http://hdl.handle.net/10533/85612

J. [. Robinson, E. Webber, and . Eifrem, Graph Databases Denotational Semantics -A Methodology for Language Development ), 1997.

]. M. Var07 and . Vardi, Automata-theoretic Model Checking Revisited, Proceedings of the 8th Int. Conf. on Verification, Model Checking, and Abstract Interpretation, pp.137-150, 2007.

C. Yuan, N. Lao, J. Wen, J. Li, Z. Zhang et al., Automated Known Problem Diagnosis with Event Traces, Proc. of the 1st ACM SIGOPS European Conf. on Computer Systems. Pp, pp.375-388, 2006.
DOI : 10.1145/1217935.1217972
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.132.9866