Guerrouat, A. , Richter, H.. "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, (2007), 1(10), 3185 - 3191.