@Inproceedings{EPTCS206.4, author = {Kowal, Matthias and Schaefer, Ina}, year = {2016}, title = {Incremental Consistency Checking in Delta-oriented UML-Models for Automation Systems}, editor = {Rubin, Julia and Th\"um, Thomas}, booktitle = {{\rm Proceedings 7th International Workshop on} Formal Methods and Analysis in Software Product Line Engineering, {\rm Eindhoven, The Netherlands, April 3, 2016}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {206}, publisher = {Open Publishing Association}, pages = {32-45}, doi = {10.4204/EPTCS.206.4}, }