Christopher Pietsch, Udo Kelter, Christopher Haubeck, Winfried Lamersdorf, Abhishek Chakraborty, Alexander Fay. Using model differencing to reason about observable behavior changes of manufacturing systems. Automatisierungstechnik, 66(10):795-805, 2018. [doi]
Abstract is missing.