Arni Hermann Reynisson, Marjan Sirjani, Luca Aceto, Matteo Cimini, Ali Jafari, Anna Ingólfsdóttir, Steinar Hugi Sigurdarson. Modelling and simulation of asynchronous real-time systems using Timed Rebeca. Science of Computer Programming, 89:41-68, 2014. [doi]
Abstract is missing.