Describir: Softvérová podpora na syntézu regulačných obvodov :