Real-time system design See original record