B
[Bou04] Patricia Bouyer. Forward Analysis of Updatable Timed Automata. Formal Methods in System Design 24(3):281-320. Kluwer Academic, May 2004. 
@article{fmsd24(3)-Bou,
  author =              {Bouyer, Patricia},
  title =               {Forward Analysis of Updatable Timed Automata},
  publisher =           {Kluwer Academic},
  journal =             {Formal Methods in System Design},
  volume =              {24},
  number =              {3},
  pages =               {281-320},
  year =                {2004},
  month =               may,
  doi =                 {10.1023/B:FORM.0000026093.21513.31},
}
List of authors