| English | Russian |
| clock constraint in the invariant of a location or in the guard of a transition | временное ограничение инварианта позиции или предохранителя перехода (ssn) |
| conjunction of the invariants of the component locations | конъюнкция инвариантов составляющих позиций (ssn) |
| in the definition of timed automaton, we allowed the clock constraints that serve as the invariants of locations and the guards of transitions to contain arbitrary rational constants | в определении временного автомата мы допускали использование временных ограничений в качестве инвариантов позиций и предохранителей переходов, содержащих произвольные рациональные константы (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999) |
| invariant of the location | инвариант этой позиции (ssn) |
| invariant of the location | инвариант позиции (ssn) |
| invariants of locations and the guards of transitions | инварианты позиций и предохранителей переходов (ssn) |
| invariants of locations and the guards of transitions to contain arbitrary rational constants | инварианты позиций и предохранителей переходов, содержащие произвольные рациональные константы (ssn) |
| Time can elapse in the location only as long as the invariant of the location is true | Течение времени в позиции происходит, пока инвариант этой позиции истинен (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999 ssn) |
