Simulation of control systems with special emphasis on modelling and redundancy