Real-time systems design and analysis See original record