Diagnosis and Handling of Inconsistencies in Heterogeneous Models of Automated Production Systems