Tiziana Margaria, Alexander Schieweck. Towards Engineering Digital Twins by Active Behaviour Mining. In Ernst-Rüdiger Olderog, Bernhard Steffen, Wang Yi 0001, editors, Model Checking, Synthesis, and Learning - Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday. Volume 13030 of Lecture Notes in Computer Science, pages 138-163, Springer, 2021. [doi]