A process modeling language for large process control systems | IEEE Conference Publication | IEEE Xplore