%0 Journal Article
%A Pascal André
%A Christian Attiogbé
%A Arnaud Lanoix
%T A Tool-assisted Method for the Systematic Construction of Critical Embedded Systems using Event-B
%J Computer Science and Information Systems
%D 2020
%V 17
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/CSIS_2020_17_1_a16/
%F CSIS_2020_17_1_a16