Новый подход к решению проблемы достижимости: на пути к методологии анализа временно-критических систем.Гудак, Штофан199734 с.