J
[JLR15] Aleksandra Jovanović, Didier Lime, and Olivier H. Roux. Integer Parameter Synthesis for Timed Automata. IEEE Transactions on Software Engineering 41(5):445-461. IEEE Comp. Soc. Press, May 2015. 
@article{tse41(5)-JLR,
  author =              {Jovanovi{\'c}, Aleksandra and Lime, Didier and Roux,
                         Olivier H.},
  title =               {Integer Parameter Synthesis for Timed Automata},
  publisher =           {IEEE Comp. Soc. Press},
  journal =             {IEEE Transactions on Software Engineering},
  volume =              {41},
  number =              {5},
  pages =               {445-461},
  year =                {2015},
  month =               may,
  doi =                 {10.1109/TSE.2014.2357445},
}
List of authors