Fluent temporal logic for discrete-time event-based models.

Emmanuel Letier Jeff Kramer Jeff Magee Sebastián Uchitel Fluent temporal logic for discrete-time event-based models. 70-79 2005 conf/sigsoft/2005 ESEC/SIGSOFT FSE http://doi.acm.org/10.1145/1081706.1081719 db/conf/sigsoft/fse2005.html#LetierKMU05