Breitling, Gilbert, Heiner, Priami, n.d.. Formal Methods in Molecular Biology Dagstuhl Seminar.