Аналитико-табличные формулировки систем временной логикитезисы доклада