Robbert Jongeling, Johan Fredriksson, Federico Ciccozzi, Antonio Cicchetti, Jan Carlson. Towards Consistency Checking Between a System Model and Its Implementation. In Önder Babur, Joachim Denil, Birgit Vogel-Heuser, editors, Systems Modelling and Management - First International Conference, ICSMM 2020, Bergen, Norway, June 25-26, 2020, Proceedings. Volume 1262 of Communications in Computer and Information Science, pages 30-39, Springer, 2020. [doi]
Abstract is missing.