François Prunet, Denis Floutier, J. M. Dumas: Computer aided design of industrial control systems. DAC 1975: 210-219