Detecting Processor Hardware Faults by Means of Automatically Generated Virtual Duplex Systems