Terms for subject Programming containing clock constraint

English	Russian
clock constraint	временное ограничение (ssn)
clock constraint in the invariant of a location or in the guard of a transition	временное ограничение инварианта позиции или предохранителя перехода (ssn)
the transition can be taken only if the current values of the clocks satisfy the clock constraint	Переход может быть совершен, только если текущие показания часов удовлетворяют временному ограничению (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999)