Return to Article Details Consistency Validation of Transforming UML Statechart Models to Flat State Machine Models with USE Approach Download Download PDF