The B Book, 1996. ,
DOI : 10.1017/CBO9780511624162
Modeling in Event-B: System and Software Engineering, 2010. ,
DOI : 10.1017/CBO9781139195881
From Goal-oriented Requirements to Event-B Specifications, 1st Nasa Formal Method Symposium (NFM'09), 2009. ,
Le Cycab de L'INRIA Rhônes-alpes, INRIA Rhônes-alpes, 1999. ,
Verification of Architectural Refactorings by Rule Extraction, 11th International Conference on Fundamental Approaches to Software Engineering (FASE'08), 2008. ,
DOI : 10.1007/978-3-540-78743-3_26
Software Engineering 3: Domains, Requirements, and Software Design (Texts in Theoretical Computer Science, an EATCS Series), 2006. ,
Development of Transportation Systems In: 2nd ISOLA Workshop on Leveraging Applications of Formal Methods, Verification and Validation (ISOLA'07, 2007. ,
Domain Engineering, Research and Engineering. JAIST, 2009. ,
DOI : 10.1007/978-1-84882-736-3_1
A System-based Approach to the Formal Development of Embedded Controllers for a Railway. Design Automation for Embedded Systems, pp.355-366, 2002. ,
Decomposition Structures for Event-B, 7th International Conference on Integrated Formal Methods (IFM '09), 2009. ,
DOI : 10.1016/0167-6423(93)90021-G
Time Constraint Patterns for Event B Development, 7th International Conference of B Users (B'07), 2006. ,
DOI : 10.1007/11955757_13
URL : https://hal.archives-ouvertes.fr/hal-00149163
User Manual of Atelier B, version 4, 2009. ,
Generative Programming, 2000. ,
DOI : 10.1007/3-540-36208-8_2
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.387.6297
Raise, Formal Development of Reactive Systems, pp.277-293, 1995. ,
DOI : 10.1007/3-540-58867-1_60
Handling Safety Critical Requirements in System Engineering Using the B Formal Method, 23rd International Conference on Computer Safety, Reliability, and Security, 2004. ,
DOI : 10.1007/978-3-540-30138-7_10
Feature composition -Towards Product Lines of Event-B Models, 1st International Workshop on Model-Driven Product Line Engineering, 2009. ,
Specifying safety and progress properties with RSL, 2nd International Symposium of Formal Methods Europe (FME'94), 1994. ,
DOI : 10.1007/3-540-58555-9_116
Communicating Sequential Processes, 1985. ,
System Development, 1983. ,
URL : https://hal.archives-ouvertes.fr/hal-01472305
Timing Diagrams Requirements Modeling using Event-B Formal Methods, Software Engineering, 2010. ,
DOI : 10.2316/P.2010.677-028
Proving the Correctness of Multiprocess Programs, IEEE Transactions on Software Engineering, vol.3, issue.2, pp.125-143, 1977. ,
DOI : 10.1109/TSE.1977.229904
Requirements engineering, Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering, SIGSOFT '08/FSE-16, 2009. ,
DOI : 10.1145/1453101.1453133
Event-B Specification of a Situated Multi-Agent System: Study of a Platoon of Vehicles, 2008 2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering, 2008. ,
DOI : 10.1109/TASE.2008.39
URL : https://hal.archives-ouvertes.fr/hal-00260577
ProB: A Model Checker for B, 12th International Symposium on Formal Methods (FM'03), 2003. ,
DOI : 10.1007/978-3-540-45236-2_46
Incorporating Animation in Stepwise Development of Formal Specification, 2009. ,
URL : https://hal.archives-ouvertes.fr/inria-00392996
Transformational Heuristics for Animation -Towards Stepwise Validation of Specifications, 2010. ,
Transformation Heuristics for Formal Requirements Validation by Animation, 2nd International Workshop on the Certification of Safety-Critical Software Controlled Systems (SafeCert'09), 2009. ,
URL : https://hal.archives-ouvertes.fr/inria-00374082
Towards Validation of Requirements Models, 2nd International Conference on Abstract State Machines (ASM), Alloy, B and Z (ABZ'10). Orford, 2010. ,
DOI : 10.1007/978-3-642-11811-1_38
URL : https://hal.archives-ouvertes.fr/hal-00431272
A First Attempt to Express KAOS Refinement Patterns with Event B, 1st International Conference on Abstract State Machines (ASM), B and Z (ABZ'08), 2008. ,
DOI : 10.1007/978-3-540-87603-8_27
URL : https://hal.archives-ouvertes.fr/hal-01224663
The Definition of Standard ML - Revised, 1997. ,
PVS: A prototype verification system, 11th International Conference on Automated Deduction (CADE'92), 1992. ,
DOI : 10.1007/3-540-55602-8_217
Global and Communicating State Machine Models in Event Driven B: A Simple Railway Case Study, 2nd International Conference of B and Z Users (ZB'02), 2002. ,
DOI : 10.1007/3-540-45648-1_24
The Composition of Event-B Models, 1st International Conference on Abstract State Machines (ASM), B and Z (ABZ'08), 2008. ,
DOI : 10.1007/978-3-540-87603-8_17
A CSP Approach to Control in Event-B, 8th International Conference on Integrated Formal Methods (IFM'10), 2010. ,
DOI : 10.1007/3-540-45648-1_10
URL : https://hal.archives-ouvertes.fr/inria-00524603
BRAMA: A New Graphic Animation Tool for B Models, 7th International Conference of B Users (B'07), 2006. ,
DOI : 10.1007/11955757_28
Decomposition tool for event-B, Software: Practice and Experience, vol.25, issue.2, 2010. ,
DOI : 10.1002/spe.1002
UML-B, ACM Transactions on Software Engineering and Methodology, vol.15, issue.1, pp.92-122, 2006. ,
DOI : 10.1145/1125808.1125811
Verification of Liveness Properties in Distributed Systems, 2nd International Conference on Contemporary Computing (IC3'09), 2009. ,
DOI : 10.1007/11916246_18
Scaling Up with Event-B: A Case Study, 3rd NASA Formal Methods Symposium (NFM'11), 2011. ,
DOI : 10.1023/A:1018977602872
URL : https://hal.archives-ouvertes.fr/inria-00604687
Four dark corners of requirements engineering, ACM Transactions on Software Engineering and Methodology, vol.6, issue.1, pp.1-30, 1997. ,
DOI : 10.1145/237432.237434