Roy Armoni Limor Fix Alon Flaisher Rob Gerth Boris Ginsburg Tomer Kanza Avner Landver Sela Mador-Haim Eli Singerman Andreas Tiemeyer Moshe Y. Vardi Yael Zbar The ForSpec Temporal Logic: A New Temporal Property-Specification Language. 296-211 2002 conf/tacas/2002 TACAS http://link.springer.de/link/service/series/0558/bibs/2280/22800296.htm db/conf/tacas/tacas2002.html#ArmoniFFGGKLMSTVZ02