Methods of increasing modelling power for safety analysis, applied to a turbine digital control system