@article{CSIS_2020_17_1_a16,
     author = {Pascal Andr\'e and Christian Attiogb\'e and Arnaud Lanoix},
     title = {A {Tool-assisted} {Method} for the {Systematic} {Construction} of {Critical} {Embedded} {Systems} using {Event-B}},
     journal = {Computer Science and Information Systems},
     publisher = {mathdoc},
     volume = {17},
     number = {1},
     year = {2020},
     url = {http://geodesic.mathdoc.fr/item/CSIS_2020_17_1_a16/}
}