WASET
Guerrouat, A. , Richter, H. (2007). 'Adaptation of State/Transition-Based Methods for Embedded System Testing'. World Academy of Science, Engineering and Technology, Open Science Index 10, International Journal of Computer and Systems Engineering, 1(10), 3185 - 3191.