SafeDeML: On Integrating the Safety Design into the System Model.

Tim Gonschorek, Philipp Bergt, Marco Filax, Frank Ortmeier, Jan von Hoyningen-Hne, Thorsten Piper

Browse the full SAFECOMP paper archive.