Sühl, C.C.Sühl2022-03-092022-03-092000https://publica.fraunhofer.de/handle/publica/33644410.1007/3-540-46428-X_5en004006400Applying RT-Z to Develop Safety-Critical Systemsconference paper