@article{DBLP:journals/fmsd/DonaldsonKR11,
  author       = {Alastair F. Donaldson and
                  Daniel Kroening and
                  Philipp R{\"{u}}mmer},
  title        = {Automatic analysis of {DMA} races using model checking and \emph{k}-induction},
  journal      = {Formal Methods Syst. Des.},
  volume       = {39},
  number       = {1},
  pages        = {83-113},
  year         = {2011},
  doi          = {10.1007/S10703-011-0124-2},
}