Real-time embedded software testing method based on extended finite state machine
Yongfeng Yin, Bin Liu, and Hongying Ni
Journal of Systems Engineering and Electronics . 2012, (2): 276 -285 .  DOI: 10.1109/JSEE.2012.00035