Our paper “Timed CTL Model Checking in Real-Time Maude” was accepted at WRLA’12.