Zeynab Sabahi-Kaviani, Ramtin Khosravi, Peter Csaba Ölveczky, Ehsan Khamespanah, Marjan Sirjani. Formal semantics and efficient analysis of Timed Rebeca in Real-Time Maude. Science of Computer Programming, 113:85-118, 2015. [doi]
Abstract is missing.