Title: Off-line programming, verification and optimisation of industrial control systems
First published: 2002