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

by R Armoni, L Fix, A Flaisher, R Gerth, B Ginsburg, T Kanza, A Landver, S Mador-Haim, E Singerman, A Tiemeyer, M Y Vardi, Y Zbar
Venue:In Proceedings of the TACAS’02,