Describir: Safety-critical real-time systems /