MORE: MOdel-based REdundancy for Simulink.

Kai Ding, Andrey Morozov, Klaus Janschek

Browse the full SAFECOMP paper archive.