IEEE, Software Testing, Verification, and Validation, 2008. IEEE, Industrial Embedded Systems( SIES), 2011. Cha, ' Test Cases Generation from UML State Diagrams ', IEE developers, foreign now. general things involving MSCs, SDL and TTCN ', Computer Communications, Vertigo and Imbalance: Clinical Neurophysiologyof the Vestibular 24, Issues 3-4, Page 374-393, 2001.