Engineering and verifying requirements for programmable self-assembling nanomachines. - Robyn R. Lutz; Jack H. Lutz; James I. Lathrop; Titus H. Klinge; Eric R. Henderson; Divita Mathur; Dalia Abo Sheasha (ICSE, 2012)