B
[Bea03] Danièle Beauquier. On probabilistic timed automata. Theoretical Computer Science 292(1):65-84. Elsevier, January 2003. 
@article{tcs292(1)-Bea,
  author =              {Beauquier, Dani{\`e}le},
  title =               {On~probabilistic timed automata},
  publisher =           {Elsevier},
  journal =             {Theoretical Computer Science},
  volume =              {292},
  number =              {1},
  pages =               {65-84},
  year =                {2003},
  month =               jan,
  doi =                 {10.1016/S0304-3975(01)00215-8},
}
List of authors