Formulation of a strategy for monitoring control integrity in critical digital control systems