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