real-time control systems - Spanisch Englisch Wörterbuch