An LTS-based semantics of improved variant of Real-Time Finite State Machinesстатья