Hela Kadri, Simon Collart Dutilleul, Philippe Bon, Samir Ben Ahmed. Formal Approach to Dynamic SoS Design. In Ernesto Damiani, George Spanoudakis, Leszek A. Maciaszek, editors, Proceedings of the 14th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2019, Heraklion, Crete, Greece, May 4-5, 2019. pages 377-384, SciTePress, 2019. [doi]