@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},
}