B
[BDL+11] Gerd Behrmann, Alexandre David, Kim Guldstrand Larsen, Paul Pettersson, and Wang Yi. Developing UPPAAL over 15 years. Software – Practice and Experience 41(2):133-142. IEEE Comp. Soc. Press, February 2011. 
@article{spe41(2)-ADGPY,
  author =              {Behrmann, Gerd and David, Alexandre and Larsen, Kim
                         Guldstrand and Pettersson, Paul and Yi, Wang},
  title =               {Developing {UPPAAL} over 15~years},
  publisher =           {IEEE Comp. Soc. Press},
  journal =             {Software~-- Practice and Experience},
  volume =              {41},
  number =              {2},
  pages =               {133-142},
  year =                {2011},
  month =               feb,
}
List of authors