Ehsan Khamespanah, Marjan Sirjani, Zeynab Sabahi-Kaviani, Ramtin Khosravi, Mohammad-Javad Izadi. Timed Rebeca schedulability and deadlock freedom analysis using bounded floating time transition system. Science of Computer Programming, 98:184-204, 2015. [doi]
Abstract is missing.