TY  - JOUR
AU  - Pascal André
AU  - Christian Attiogbé
AU  - Arnaud Lanoix
TI  - A Tool-assisted Method for the Systematic Construction of Critical Embedded Systems using Event-B
JO  - Computer Science and Information Systems
PY  - 2020
VL  - 17
IS  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/CSIS_2020_17_1_a16/
ID  - CSIS_2020_17_1_a16
ER  -