@misc{indiciaed0aeb9a48bf0,
  title = {Modelling and Simulation of Asynchronous Real-Time Systems using Timed Rebeca},
  author = {Luca Aceto and Matteo Cimini and Anna Ingolfsdottir and Arni Hermann Reynisson and Steinar Hugi Sigurdarson and Marjan Sirjani},
  year = {2011},
  doi = {10.4204/eptcs.58.1},
  url = {https://arxiv.org/abs/1108.0228},
  note = {Source identifier: 1108.0228}
}