Modelling and verification for DNA nanotechnology - Dannenberg, FGW (University of Oxford, 2016)