Aurélien Rizk, Grégory Batt, François Fages, Sylvain Soliman. On a Continuous Degree of Satisfaction of Temporal Logic Formulae with Applications to Systems Biology. In Monika Heiner, Adelinde M. Uhrmacher, editors, Computational Methods in Systems Biology, 6th International Conference, CMSB 2008, Rostock, Germany, October 12-15, 2008. Proceedings. Volume 5307 of Lecture Notes in Computer Science, pages 251-268, Springer, 2008. [doi]