Text this: Formal verification Unified Modeling Language Statechart using Enhancement Common Modeling Language