Jinlin Yang, David Evans: Dynamically inferring temporal properties. PASTE 2004: 23-28