Enviar por SMS: Automatická syntéza bezhazardných logických kombinačných.