Please visit the new department page:
Real-time Systems Engineering