selected publications academic article S3: Design Methods for Computer Controlled Real-Time Automation systems. IFAC Proceedings Volumes. 1980