@Inproceedings{EPTCS13.1,
  author    = {AlAttili, Israa and Houben, Fred and Igna, Georgeta and Michels, Steffen and Zhu, Feng and Vaandrager, Frits},
  year      = {2009},
  title     = {Adaptive Scheduling of Data Paths using Uppaal Tiga},
  editor    = {Andova, Suzana and McIver, Annabelle and D'Argenio, Pedro and Cuijpers, Pieter and Markovski, Jasen and Morgan, Caroll and N\'u\~nez, Manuel},
  booktitle = {{\rm Proceedings First Workshop on}
               Quantitative Formal Methods: Theory and Applications,
               {\rm Eindhoven, The Netherlands, 3rd November 2009}},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {13},
  publisher = {Open Publishing Association},
  pages     = {1-11},
  doi       = {10.4204/EPTCS.13.1},
}