A real-time language for industrial process control | IEEE Journals & Magazine | IEEE Xplore