Weber, M.M.Weber2022-03-092022-03-091996https://publica.fraunhofer.de/handle/publica/327559en004006400Combining statecharts and Z for the design of safety-critical control systemsconference paper