רוסית ⇄ אנגלית

отображение позиций во временные ограничения, называемое инвариантом позиций מתח
.תִכנו	mapping from locations to clock constraints, called the location invariant (ssn)