B
[BFL+11] Patricia Bouyer, Uli Fahrenberg, Kim Guldstrand Larsen, and Nicolas Markey. Quantitative analysis of real-time systems using priced timed automata. Communications of the ACM 54(9):78-87. ACM Press, September 2011.
Abstract

The problems of time-dependent behavior in general, and dynamic resource allocation in particular, pervade many aspects of modern life. Prominent examples range from reliability and efficient use of communication resources in a telecommunication network to the allocation of tracks in a continental railway network, from scheduling the usage of computational resources on a chip for durations of nano-seconds to the weekly, monthly, or longer-range reactive planning in a factory or a supply chain.

@article{cacm54(9)-BFLM,
  author =              {Bouyer, Patricia and Fahrenberg, Uli and Larsen, Kim
                         Guldstrand and Markey, Nicolas},
  title =               {Quantitative analysis of real-time systems using
                         priced timed automata},
  publisher =           {ACM Press},
  journal =             {Communications of the ACM},
  volume =              {54},
  number =              {9},
  pages =               {78-87},
  year =                {2011},
  month =               sep,
  doi =                 {10.1145/1995376.1995396},
  abstract =            {The problems of time-dependent behavior in general,
                         and dynamic resource allocation in particular,
                         pervade many aspects of modern life. Prominent
                         examples range from reliability and efficient use of
                         communication resources in a telecommunication
                         network to the allocation of tracks in a continental
                         railway network, from scheduling the usage of
                         computational resources on a chip for durations of
                         nano-seconds to the weekly, monthly, or longer-range
                         reactive planning in a factory or a supply chain.},
}
List of authors