Resolving Inconsistencies Optimally in the Model-Based Development of Production Systems | IEEE Conference Publication | IEEE Xplore