Моделирование дискретных устройств. Муханов В.В