Применение шаблонов требований для формальной спецификации и верификации автомат План проекта образец введение