Similar Items: Real-Time Model-Checking: Parameters everywhere