Terms containing current values of the clocks

Subject	English	Russian
progr.	current values of the clocks	текущие показания часов (ssn)
progr.	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)