Pietsch, Christopher, Kelter, Udo, Haubeck, Christopher, Lamersdorf, Winfried, Chakraborty, Abhishek, Fay, Alexander: Using Model Differencing to reason about Observable Behaviour Changes of Manufacturing Systems. In: AT - Automatisierungstechnik, Jg.66, Heft 10 (2018), DOI: https://doi.org/10.1515/auto-2018-0046, S. 795–805