@ARTICLE{PietschKelterHaubeckLamersdorfChakrabortyFay2018, author = {Christopher Pietsch and Udo Kelter and Christopher Haubeck and Winfried Lamersdorf and Abhishek Chakraborty and Alexander Fay}, title = {Using Model Differencing to reason about Observable Behaviour Changes of Manufacturing Systems}, journal = {AT - Automatisierungstechnik}, year = {2018}, volume = {66, Heft 10}, pages = {795–805}, month = {10}, note = {Schwerpunktheft Evolution of CPPS} }