Hardware-in-the-loop simulation (HILS) has become common practice in automotive development. In order to cope with the real-time constraints, only rough models are often used. In this paper, we present means to symbolically manipulate models with a high level of detail in such a way that the simulation can be performed in real-time. The effectiveness is demonstrated by several benchmark examples and by corresponding simulation results.