Формальные методы исследования: основные принципы и подходы