Francesco Ranzato Francesco Tapparo Strong Preservation of Temporal Fixpoint-Based Operators by Abstract Interpretation. 332-347 2006 conf/vmcai/2006 VMCAI http://dx.doi.org/10.1007/11609773_22 db/conf/vmcai/vmcai2006.html#RanzatoT06