Большой англо-русский словарь (с транскрипциями) STATE analysis анализ логических состояний (в моделировании)