Dalay Israel de Almeida Pereira, Sana Debbech, Matthieu Perin, Philippe Bon, Simon Collart Dutilleul. Formal Specification of Environmental Aspects of a Railway Interlocking System Based on a Conceptual Model. In Alberto H. F. Laender, Barbara Pernici, Ee-Peng Lim, José Palazzo M. de Oliveira, editors, Conceptual Modeling - 38th International Conference, ER 2019, Salvador, Brazil, November 4-7, 2019, Proceedings. Volume 11788 of Lecture Notes in Computer Science, pages 338-351, Springer, 2019. [doi]
Abstract is missing.