John Regehr Nathan Cooprider David Gay Atomicity and visibility in tiny embedded systems. 2 2006 conf/asplos/2006plos PLOS http://doi.acm.org/10.1145/1215995.1215997 db/conf/asplos/plos2006.html#RegehrCG06