Fredrik K. J. Danielsson

• Off-line programming, verification and optimisation of industrial control systems