Reference model and formal analysis for requirements of equipment systems
DUAN Cai-yu, ZHANG Wei-ming, YU Bin, YU Jiu-cheng
Journal of Systems Engineering and Electronics . 2009, (01): 125 -129 .