@misc{indiciaeb9177fee33ea,
  title = {Adaptive Scheduling of Data Paths using Uppaal Tiga},
  author = {Israa AlAttili and Fred Houben and Georgeta Igna and Steffen Michels and Feng Zhu and Frits Vaandrager},
  year = {2009},
  doi = {10.4204/eptcs.13.1},
  url = {https://arxiv.org/abs/0912.1897},
  note = {Source identifier: 0912.1897}
}