Технология разработки моделей микроконтроллеров с использованием декларативно-ал