| the duration between successive clock ticks is chosen as the basic unit for measuring time | в качестве единицы измерения времени выбирается продолжительность времени между двумя последовательными тиками часов (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999) |