B
[BKO+08] Thomas Bøgholm, Henrik Kargh-hansen, Petur Olsen, Bent Thomsen, and Kim Guldstrand Larsen. Model-based schedulability analysis of safety critical hard real-time Java programs. In JTRES'08, ACM International Conference Proceeding Series 343, pages 106-114. ACM Press, September 2008. 
@inproceedings{jtres2008-BKOTL,
  author =              {B{\o}gholm, Thomas and Kargh{-}hansen, Henrik and
                         Olsen, Petur and Thomsen, Bent and Larsen, Kim
                         Guldstrand},
  title =               {Model-based schedulability analysis of safety
                         critical hard real-time Java programs},
  editor =              {Bollella, Gregory and Locke, C. Douglas},
  booktitle =           {{P}roceedings of the 6th {I}nternational {W}orkshop
                         on {J}ava {T}echnologies for {R}eal-time and
                         {E}mbedded {S}ystems ({JTRES}'08)},
  acronym =             {{JTRES}'08},
  publisher =           {ACM Press},
  series =              {ACM International Conference Proceeding Series},
  volume =              {343},
  pages =               {106-114},
  year =                {2008},
  month =               sep,
  doi =                 {10.1145/1434790.1434807},
}
List of authors