The ForSpec temporal logic: A new temporal property-specification language (2002)

by 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
Venue:In TACAS’02, LNCS 2280