Recent Advances in Real-Time Maude