The design and application of functional reactive distributed process control system | IEEE Conference Publication | IEEE Xplore