François Prunet, Denis Floutier, J. M. Dumas. Computer aided design of industrial control systems. In Robert B. Hitchcock Sr., Donald J. Humcke, Stephen A. Szygenda, editors, Proceedings of the 12th Design Automation Conference, DAC '75, Boston, Massachusetts, USA, June 23-25, 1975. pages 210-219, ACM, 1975. [doi]
Abstract is missing.