Realization of UML class and state machine models in the C code generation and execution framework