Modelling and Simulation of Asynchronous Real-Time Systems using Timed Rebeca - Luca Aceto; Matteo Cimini; Anna Ingólfsdóttir; Arni Hermann Reynisson; Steinar Hugi Sigurdarson; Marjan Sirjani (FOCLASA, 2011)

Guided Search for Deadlocks in Actor-Based Models. - Steinar Hugi Sigurdarson; Marjan Sirjani; Yngvi Björnsson; Arni Hermann Reynisson (FACS, 2012)

Modelling and simulation of asynchronous real-time systems using Timed Rebeca. - Arni Hermann Reynisson; Marjan Sirjani; Luca Aceto; Matteo Cimini; Ali Jafari; Anna Ingólfsdóttir; Steinar Hugi Sigurdarson (Sci. Comput. Program., 2014)