, The B-book: Assigning Programs to Meanings, 1996.
, Modeling in Event-B: System and Software Engineering, 2010.
A formal approach to architectural design patterns, FME 1996, vol.1051, pp.576-594, 1996. ,
,
Designing safe, reliable systems using scade, ISoLA 2004, vol.4313, pp.115-129, 2006. ,
Reo: a channel-based coordination model for component composition, Math. Struct. Comput. Sci, vol.14, issue.3, pp.329-366, 2004. ,
Rigorous component-based system design using the BIP framework, IEEE Softw, vol.28, issue.3, pp.41-48, 2011. ,
URL : https://hal.archives-ouvertes.fr/hal-00722395
Mechanized semantics for the clight subset of the C language, J. Autom. Reason, vol.43, issue.3, pp.263-288, 2009. ,
URL : https://hal.archives-ouvertes.fr/inria-00352524
Implementing structured requirements to improve requirements quality, INCOSE International Symposium, vol.25, pp.54-67, 2015. ,
, Software Patterns. SIGS Management Briefings. SIGS books & multimedia, 1996.
Patterns in property specifications for finite-state verification, Proceedings of the ICSE' 99, pp.411-420, 1999. ,
Composing pattern-based components and verifying correctness, J. Syst. Softw, vol.80, issue.11, pp.1755-1769, 2007. ,
Modelling and proof of a tree-structured file system in event-b and rodin, ICFEM 2008, vol.5256, pp.25-44, 2008. ,
Model-driven development of safety architectures, 20th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, pp.156-166, 2017. ,
Model-Based Engineering with AADL -An Introduction to the SAE Architecture Analysis and Design Language. SEI Series in Software Engineering, 2012. ,
Event-B patterns and their tool support, Softw. Syst. Model, vol.12, issue.2, pp.229-244, 2013. ,
The VHDL Reference: A Practical Guide to Computer-Aided Integrated Circuit Design (Including VHDL-AMS) with Other, 2000. ,
Patterns for refine-ment automation, FMCO 2009, vol.6286, pp.70-88, 2010. ,
Feature-oriented domain analysis (foda) feasibility study, 1990. ,
Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers, 2002. ,
Verifying patterns of dynamic architectures using model checking, Proceedings International Workshop on Formal Engineering approaches to Software Components and Architectures, vol.245, pp.16-30, 2017. ,
, Systems Modeling Language (OMG SysML), Version, vol.1, issue.3, 2012.
Building a safety architecture pattern system, Proceedings of the 18th European Conference on Pattern Languages of Program, EuroPLoP '13, vol.17, pp.1-17, 2015. ,
Translation validation, TACAS 1998, vol.1384, pp.151-166, 1998. ,
BART: a tool for automatic refinement, ABZ 2008, vol.5238, pp.345-345, 2008. ,
Unified Modeling Language Reference Manual, 2004. ,
MBSE and MBSA with Capella and safety architect tools, CSDM 2016, p.239, 2016. ,
Model-based System and Architecture Engineering with the Arcadia Method, 2017. ,