Zitat
S. Henkler and M. Hirsch, “Contract-based Digital Twin Synthesis for Autonomous Safety Critical Systems,” in Proceedings of the 56th Hawaii International Conference on System Sciences, Honolulu, HI: HICSS Conference Office, 2023, pp. 6778–6787.