Q
[Qua11] Karin Quaas. MSO logics for weighted timed automata. Formal Methods in System Design 38(3):193-222. Springer-Verlag, June 2011. 
@article{fmsd38(3)-quaas,
  author =              {Quaas, Karin},
  title =               {{MSO} logics for weighted timed automata},
  publisher =           {Springer-Verlag},
  journal =             {Formal Methods in System Design},
  volume =              {38},
  number =              {3},
  pages =               {193-222},
  year =                {2011},
  month =               jun,
  doi =                 {10.1007/s10703-011-0112-6},
}
List of authors