Agentenbasierte Konsistenzprüfung heterogener Modelle in der AutomatisierungstechnikMichael RauscherEsaurito4,3Avvisami