A real-time architecture design language for multi-rate embedded control systems