Describir: Directions in safety-critical systems :