M. Heiner, D. Gilbert, und R. Donaldson. Formal Methods for Computational Systems Biology, Seite 215--264. Berlin, Heidelberg, Springer Berlin Heidelberg, (2008)
J. Sroka, P. Chrz\,astowski-Wachtel, und J. Hidders. Proc. of the Tenth International Conference on Application of Concurrency to System Design (ACSD 2011), IEEE Computer Society, (2011)To Appear.