Title: Digital control system programming from process control diagrams