SMS versenden: Directions in safety-critical systems :