Anglais ⇄ Allemand Russe +

state-transition relation contraintes
progr.	отношение изменения состояния (ssn); ST-отношение (ssn)
state transition relation
progr.	отношение перехода на состояниях (графа ssn)