real-time kernel (RTK) - Alemán Inglés Diccionario