No. 32 (1999): RS-32 Is your Model Checker on Time? On the Complexity of Model Checking for Timed Modal Logics