Automated inconsistency detection and solution proposals in cyber-physical system networks. - Johanna Buchner; Marian Daun (EITEC@CPSWeek, 2016)