Формализация процесса функционирования сложных дискретных устройств на базе макромоделей функциональных блоков