Ernst-RĂ¼diger Olderog, Anders P. Ravn, Rafael Wisniewski. Linking Discrete and Continuous Models, Applied to Traffic Manoeuvrers. In Michael G. Hinchey, Jonathan P. Bowen, Ernst-RĂ¼diger Olderog, editors, Provably Correct Systems. NASA Monographs in Systems and Software Engineering, pages 95-120, Springer, 2017. [doi]
Abstract is missing.