в качестве единицы измерения времени выбирается продолжительность времени между двумя последовательными тиками часов | 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) |