in Real-Time Systems: A Formal Approach -- Test Development with Model Checking