A Formal Language for Computational Systems Biology