P. A. Abdulla, G. Delzanno, and A. Rezine, Approximated parameterized verification of infinite-state processes with global conditions, Formal Methods in System Design, vol.116, issue.1, pp.126-156, 2009.
DOI : 10.1007/s10703-008-0062-9

P. A. Abdulla and B. Jonsson, Verifying networks of timed processes, TACAS'98, pp.298-312, 1998.
DOI : 10.1007/BFb0054179

P. A. Abdulla, B. Jonsson, M. Nilsson, and M. Saksena, A Survey of Regular Model Checking, LNCS, vol.12, issue.3, pp.35-48, 2004.
DOI : 10.1007/BFb0028736

J. R. Abrial and L. Mussat, Introducing dynamic constraints in B, ) B'98, pp.83-128, 1998.
DOI : 10.1007/BFb0053357

T. Arons, A. Pnueli, S. Ruah, J. Xu, and L. D. Zuck, Parameterized Verification with Automatically Computed Inductive Assertions?, CAV'01, pp.221-234, 2001.
DOI : 10.1007/3-540-44585-4_19

A. Bradley, Z. Manna, and H. Sipma, What???s Decidable About Arrays?, VMCAI'06, pp.427-442, 2006.
DOI : 10.1007/11609773_28

E. M. Clarke, M. Talupur, and H. Veith, Environment Abstraction for Parameterized Verification, VMCAI'06, pp.126-141, 2006.
DOI : 10.1007/11609773_9

J. Faber, C. Ihlemann, S. Jacobs, and V. Sofronie-stokkermans, Automatic verification of parametric specifications with complex topologies. Reports of SFB, p.14, 2010.
URL : https://hal.archives-ouvertes.fr/inria-00523033

J. Faber, S. Jacobs, and V. Sofronie-stokkermans, Verifying CSP-OZ-DC Specifications with Complex Data Types and Timing Parameters, IFM'07, pp.233-252, 2007.
DOI : 10.1007/978-3-540-73210-5_13

A. E. Haxthausen and J. Peleska, A Domain-Oriented, Model-Based Approach for Construction and Verification of Railway Control Systems, Formal Methods and Hybrid Real-Time Systems, pp.320-348, 2007.
DOI : 10.1007/978-3-540-75221-9_14

J. Hoenicke, Combination of Processes, Data, and Time, 2006.

J. Hoenicke and E. R. Olderog, CSP-OZ-DC: A combination of specification techniques for processes, data and time, Nordic J. Comput, vol.9, issue.4, pp.301-334, 2002.

C. Ihlemann, S. Jacobs, and V. Sofronie-stokkermans, On Local Reasoning in Verification, TACAS'08, pp.265-281, 2008.
DOI : 10.1007/978-3-540-78800-3_19

C. Ihlemann and V. Sofronie-stokkermans, System Description: H-PILoT, CADE'09, pp.131-139, 2009.
DOI : 10.1016/S0747-7171(03)00069-5

S. Jacobs and V. Sofronie-stokkermans, Applications of hierarchic reasoning in the verification of complex systems, ENTCS, vol.174, issue.8, pp.39-54, 2007.

S. K. Lahiri and R. E. Bryant, Indexed Predicate Discovery for Unbounded System Verification, CAV'04, pp.135-147, 2004.
DOI : 10.1007/978-3-540-27813-9_11

B. P. Mahony and J. S. Dong, Blending Object-Z and Timed CSP: an introduction to TCOZ, Proceedings of the 20th International Conference on Software Engineering, pp.95-104, 1998.
DOI : 10.1109/ICSE.1998.671106

S. Mcpeak and G. Necula, Data Structure Specifications via Local Equality Axioms, CAV'05, pp.476-490, 2005.
DOI : 10.1007/11513988_47

R. Meyer, J. Faber, J. Hoenicke, and A. Rybalchenko, Model checking duration calculus: A practical approach, Form. Asp. Comput, vol.20, pp.4-5, 2008.

M. Möller, E. R. Olderog, H. Rasch, and H. Wehrheim, Integrating a formal method into a software engineering process with UML and Java, Formal Aspects of Computing, vol.12, issue.3, pp.161-204, 2008.
DOI : 10.1007/s00165-007-0042-7

A. Platzer and J. D. Quesel, European Train Control System: A Case Study in Formal Verification, ICFEM'09, pp.246-265, 2009.
DOI : 10.1007/978-3-642-10373-5_13

A. Podelski and A. Rybalchenko, ARMC: The Logical Choice for Software Model Checking with Abstraction Refinement, PADL'07, pp.245-259, 2007.
DOI : 10.1007/978-3-540-69611-7_16

V. Sofronie-stokkermans, Hierarchic Reasoning in Local Theory Extensions, CADE'05, pp.219-234, 2005.
DOI : 10.1007/11532231_16

V. Sofronie-stokkermans, Sheaves and Geometric Logic and Applications to Modular Verification of Complex Systems, Electronic Notes in Theoretical Computer Science, vol.230, pp.161-187, 2009.
DOI : 10.1016/j.entcs.2009.02.024

V. Sofronie-stokkermans, Hierarchical Reasoning for the Verification of Parametric Systems, IJCAR'10. LNAI, pp.171-187, 2010.
DOI : 10.1007/978-3-642-14203-1_15

J. C. Woodcock and A. L. Cavalcanti, A concurrent language for refinement, ) IWFM'01, 2001.