Parking can get you there faster - Model Augmentation to Speed up Real-Time Model-Checking