Transactions on Computational Systems Biology IV von Corrado Priami, Luca Cardelli, Stephen Emmott