发送短信 : Algorithmensynthese für lineare Systeme mit Symmetrie /