EP3779699B1 - Method for Checking Program Execution of a Microcontroller, External Device, System and Non-Transitory Computer Readable Medium