Modelling and simulation of asynchronous real-time systems using Timed Rebeca - Reynisson, Arni Hermann; Sirjani, Marjan; Aceto, Luca; Cimini, Matteo; Jafari, Ali; Ingolfsdottir, Anna; Sigurdarson, Steinar Hugi (Science of computer programming, 2014)