Diagnosis and handling of inconsistencies in heterogeneous models of automated production systemsStefan FeldmannVyprodáno4,3Pohlídat