Aamer Mahmood Edward J. McCluskey David J. Lu Concurrent Fault Detection Using a Watchdog Processor and Assertions. 622-628 1983 conf/itc/1983 ITC db/conf/itc/itc1983.html#MahmoodML83