Envoyer par SMS: Formale Methoden zur Spezifizierung automatischer Parallelisierung /