Robyn R. LutzJack H. LutzJames I. LathropTitus H. KlingeEric R. HendersonDivita MathurDalia Abo SheashaEngineering and verifying requirements for programmable self-assembling nanomachines.1361-13642012ICSEhttps://doi.org/10.1109/ICSE.2012.6227079https://doi.ieeecomputersociety.org/10.1109/ICSE.2012.6227079http://dl.acm.org/citation.cfm?id=2337418conf/icse/2012db/conf/icse/icse2012.html#LutzLLKHMS12