On a Continuous Degree of Satisfaction of Temporal Logic Formulae with Applications to Systems Biology
Aurélien Rizk, Grégory Batt, Francois Fages, Sylvain Soliman
(2008).
In Springer-Verlag, editor, CMSB'08: Proceedings of the fourth international conference on Computational Methods in Systems Biology, volume 5307 of Lecture Notes in Computer Science, pages 251–268.