https://service-and-maintenance.com/uuv/cys/seperation-kernel-von-sysgo-erreicht-sicherheitszertifizierung/