Pauline Traynard, François Fages, Sylvain Soliman: Trace Simplifications Preserving Temporal Logic Formulae with Case Study in a Coupled Model of the Cell Cycle and the Circadian Clock. CMSB 2014: 114-128