On modeling approach for embedded real-time software simulation testing
Yin Yongfeng, Liu Bin, Zhong Deming & Jiang Tongmin
Journal of Systems Engineering and Electronics . 2009, (2): 420 -426 .