Akram Idani, Yves Ledru, Abderrahim Ait Wakrime, Rahma Ben Ayed, Simon Collart Dutilleul. Incremental Development of a Safety Critical System Combining formal Methods and DSMLs - - Application to a Railway System -. In Kim Guldstrand Larsen, Tim A. C. Willemse, editors, Formal Methods for Industrial Critical Systems - 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30-31, 2019, Proceedings. Volume 11687 of Lecture Notes in Computer Science, pages 93-109, Springer, 2019. [doi]
Abstract is missing.