System monitoring using constraint checking as part of model based system management

Under CopyrightHein, ChristianChristianHeinRitter, TomTomRitterWagner, MichaelMichaelWagner2022-03-1016.2.20122007https://publica.fraunhofer.de/handle/publica/35767510.24406/publica-fhg-357675enmodel based managementglobal constraint checking004System monitoring using constraint checking as part of model based system managementconference paper