Modelling and Optimisation of a DNA Stack Nano-Device Using Probabilistic Model Checking. - Bowen Li 005; Neil Mackenzie; Ben Shirt-Ediss; Natalio Krasnogor; Paolo Zuliani (DNA, 2022)