F1Article 74Automated checking of processes. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .