Describir: Počítačová podpora syntézy vnorených systémov