@inproceedings{litmus-tacas11,
title     = {Litmus: Running Tests Against Hardware},
author    = {Jade Alglave and
             Luc Maranget and
             Susmit Sarkar and
             Peter Sewell},
booktitle = {Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems},
month     = {March},
year      = {2011},
}