B
[BBL08] Patricia Bouyer, Ed Brinksma, and Kim Guldstrand Larsen. Optimal infinite scheduling for multi-priced timed automata. Formal Methods in System Design 32(1):2-23. Springer-Verlag, February 2008. 
@article{fmsd32(1)-BBL,
  author =              {Bouyer, Patricia and Brinksma, Ed and Larsen, Kim
                         Guldstrand},
  title =               {Optimal infinite scheduling for multi-priced timed
                         automata},
  publisher =           {Springer-Verlag},
  journal =             {Formal Methods in System Design},
  volume =              {32},
  number =              {1},
  pages =               {2-23},
  year =                {2008},
  month =               feb,
}
List of authors