METHOD FOR DETECTING ERRORS IN THE PROGRAM LOGIC OF A SYSTEM OF DISTRIBUTED PROGRAMMABLE… Application EP-3739479-A1 European Patent Office 18 Nov 2020