Diagnosis and handling of inconsistencies in heterogeneous models of automated production systemsStefan FeldmannEsaurito4,3Avvisami
