This paper describes how to classify a family of biochemical pathways and circuits in terms of their temporal behavior by systematic application of time-frequency analysis and temporal logic based model checking. There are two immediate pay-offs for this approach. First, a family of models obtained by systematic perturbations of an archetypal (e.g., wild-type or ancestral) model, when classifie...
