Guoqing Wu Fengdi Shu Min Wang Weiqing Chen Requirements Specifications Checking of Embedded Real-Time Software. 56-63 2002 17 J. Comput. Sci. Technol. 1 http://jcst.ict.ac.cn/cone/cone21.html#paper7 db/journals/jcst/jcst17.html#WuSWC02