Jingyue Jiang

• Development of real-time process control systems using formal techniques