An Analysis for Proving Temporal Properties of Biological Systems