Enviar por SMS: Formale Methoden zur Spezifizierung automatischer Parallelisierung /