US9519337B2 - Circuitry for Controlling an Output from an Electronic Control Unit Including Two Processors Mutually Monitoring Each Other