Methods of Increasing Modelling Power for Safety Analysis, Applied to a Turbine Digital Control System.