Diagnosis and handling of inconsistencies in heterogeneous models of automated production systemsStefan FeldmannSold out4.3Track