Text this: Real-Time Model-Checking: Parameters everywhere