Enviar aquest missatge de text: Algorithmensynthese für lineare Systeme mit Symmetrie /