| this kind of analysis can also be used to determine execution times for more complex sequences of events | этот вид анализа также может использоваться для определения времени выполнения более сложных последовательностей событий (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999) |
