Envoyer par SMS: Формальное представление электрических принципиальных схем для решения задач автоматизированного проектирования электронной аппаратуры