Основы математических моделей для цифровых систем