Sibylle B. Fröschle. Causality, Behavioural Equivalences, and the Security of Cyberphysical Systems. In Roland Meyer, André Platzer, Heike Wehrheim, editors, Correct System Design - Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015. Proceedings. Volume 9360 of Lecture Notes in Computer Science, pages 83-98, Springer, 2015. [doi]