src: system according to claim 12, wherein the physical system is an electronic system comprising two computers for controlling an airplane engine.
tgt: Système selon l'une quelconque des revendications 11 et 12, caractérisé en ce que le système physique est un système électronique comportant deux calculateurs pour contrôler un moteur d'avion.