@Article{LPCKP11,
author={M. Lakin and D. Parker and L. Cardelli and M. Kwiatkowska and A. Phillips},
title={Design and Analysis of {DNA} Strand Displacement Devices using Probabilistic Model Checking},
journal={Journal of the Royal Society Interface},
year={2011},

volume={},
number={},
pages={},
publisher={},
month={},
note={To appear},
key={}
}