[LLL+12] Robyn Lutz, Jack Lutz, James Lathrop, Titus Klinge, Eric Henderson, Divita Mathur and Dalia Abo Sheasha. Engineering and Verifying Requirements for Programmable Self-Assembling Nanomachines. In Proc. 34th ACM/IEEE International Conference on Software Engineering (ICSE'12). 2012. [bib] [Proposes validation techniques for programmable DNA self-assemblies, using DNA origami pliers as an example, and applying PRISM for analysis.]
Downloads:  bib bib
Links: [Google] [Google Scholar]