TY - JOUR A1 - Buchner, Johanna A1 - Daun, Marian T1 - Automated inconsistency detection and solution proposals in cyber-physical system networks JF - 3rd International Workshop on Emerging Ideas and Trends in Engineering of Cyber-Physical Systems, EITEC@CPSWeek 2016, Vienna, Austria, April 11, 2016 Y1 - 2016 U6 - https://doi.org/10.1109/EITEC.2016.7503694 SP - 35 EP - 40 ER -