The B-book : assigning programs to meanings, 1996. ,
DOI : 10.1017/CBO9780511624162
The Event-B Book Proof power reference page, 2007. ,
M??t??or: A Successful Application of B in a Large Project, FM'99 ? Formal Methods, pp.369-387, 1999. ,
DOI : 10.1007/3-540-48119-2_22
Introducing extra operations in refinement, Formal Aspects of Computing, vol.26, issue.2, pp.305-317, 2014. ,
csp2B : A practical approach to combining CSP and B. Formal Aspects of Computing, pp.182-198, 2000. ,
EN-50128 : Applications ferroviaires -système de signalisation, de télécommunication et de traitement -logiciels pour systèmes de commande et de protection ferroviaire, 2001. ,
A Refinement Strategy for Circus, Formal Aspects of Computing, vol.15, issue.2-3, pp.146-181, 2003. ,
DOI : 10.1007/s00165-003-0006-5
Refinement in Z and Object-Z, 2001. ,
Vital software : Formal method and coded processor, 2006. ,
Specifying a Train System Using ASTD and the B Method, 2014. ,
Automatic Translation from Circus to Java, FM 2006 : Formal Methods, pp.115-130, 2006. ,
DOI : 10.1007/11813040_9
URL : http://www.cs.york.ac.uk/circus/publications/docs/fc06.pdf
Modelling a Hemodialysis Machine Using Algebraic State-Transition Diagrams and B-like Methods, pp.394-408, 2016. ,
DOI : 10.1007/978-3-319-33600-8_33
URL : https://hal.archives-ouvertes.fr/hal-01574901
Formal refinement of extended state machines, Proceedings 17th International Workshop on Refinement of Electronic Proceedings in Theoretical Computer Science, pp.1-16, 2015. ,
DOI : 10.1007/3-540-45648-1_10
URL : https://hal.archives-ouvertes.fr/hal-01575304
Extending statecharts with process algebra operators, Inovation in System Software Engeneering, pp.285-292, 2008. ,
DOI : 10.1007/978-3-642-18216-7
URL : https://hal.archives-ouvertes.fr/hal-01223276
Algebraic State Transition Diagrams, 2008. ,
URL : https://hal.archives-ouvertes.fr/hal-01574901
Refinement patterns for ASTDs, Formal Aspects of Computing, vol.249, issue.4, pp.919-941, 2014. ,
DOI : 10.1016/j.scico.2010.08.001
URL : https://hal.archives-ouvertes.fr/hal-01575321
EB3 : an entity-based black-box specification method for information systems. Software and Systems Modeling, pp.134-149, 2003. ,
From commercial documents to system requirements : an approach for the engineering of novel CBTC solutions, International Journal on Software Tools for Technology Transfer, pp.1-21, 2014. ,
The Logic of the RAISE Specification Language, Logics of Specification Languages, Monographs in Theoretical Computer Science, pp.349-399, 2008. ,
DOI : 10.1007/978-3-540-74107-7_7
Statecharts : A Visual Formalism for Complex Systems, Science of Computer Programming, vol.8, pp.231-274, 1987. ,
Unifying Theories of Programming. Prentice Hall series in computer science, 1998. ,
Communicating sequential processes, Commun. ACM, vol.21, issue.8, pp.666-677, 1978. ,
A formal approach for the construction and verification of railway control systems, Formal Aspects of Computing, vol.2, issue.2, pp.191-219, 2011. ,
DOI : 10.1007/s100090050027
URL : https://hal.archives-ouvertes.fr/hal-00583553
Railway applications -Urban guided transport management and command/control systems -Part 1 : System principles and fundamental concepts, 2014. ,
Formal verification of a realistic compiler, Communications of the ACM, vol.52, issue.7, pp.107-115, 2009. ,
DOI : 10.1145/1538788.1538814
URL : https://hal.archives-ouvertes.fr/inria-00415861
The hemodialysis case study, 2015. ,
Refinement patterns for ASTD, Workshop on UML and Formal Methods, 2012. ,
DOI : 10.1145/2237796.2237818
URL : https://hal.archives-ouvertes.fr/hal-01224633
A formal integration of access control policies into information systems. Theses, 2011. ,
URL : https://hal.archives-ouvertes.fr/tel-00674865
The Temporal Semantics of Concurrent Programs, Theoretical Computer Science, vol.13, pp.45-60, 1981. ,
Translation validation, Tools and Algorithms for the Construction and Analysis of Systems, pp.151-166, 1998. ,
DOI : 10.1007/BFb0054170
The Theory and Practice of Concurrency, 1997. ,
UML-B, ACM Transactions on Software Engineering and Methodology, vol.15, issue.1, pp.92-122, 2006. ,
DOI : 10.1145/1125808.1125811
The Z Notation : A Reference Manual, 1989. ,
Communicating B Machines, Proceedings of the 2Nd International Conference of B and Z Users on Formal Specification and Development in Z and B, ZB '02, pp.416-435, 2002. ,
DOI : 10.1007/3-540-45648-1_22
URL : http://www.cs.rhbnc.ac.uk/~helen/papers/treharne.ps.gz
The behavioural semantics of Event-B refinement, Formal Aspects of Computing, vol.17, issue.4, pp.251-280, 2014. ,
DOI : 10.1007/s00165-005-0076-7
The Semantics of Circus, ZB 2002 :Formal Specification and Development in Z and B, pp.184-203, 2002. ,
DOI : 10.1007/3-540-45648-1_10