Text this: Verifying the correctness of UML statechart outpatient clinic based on common modeling language and SMV