US7607044B2 - Monitoring of a Program Execution by the Processor of an Electronic Circuit