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.