Zaslať SMS: Directions in safety-critical systems :