Concurrent Fault Detection Using a Watchdog Processor and Assertions