Automated requirements analysis for a molecular watchdog timer
See Nanoengineering, DNA nanomachines.