A heterogeneous redundancy method for flight control computer based on mutual exclusion and spin mechanism. Issue 1 (1st April 2022)