@Article{LPC+12,
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={2012},

volume={9},
number={72},
pages={1470--1485},
publisher={The Royal Society},
month={},
note={},
key={}
}