"Specifying event-based systems with a counting fluent temporal logic" (2015) Regis, G.;Degiovanni, R.;D'Ippolito, N. (...)Association for Computing Machinery Special Interest Group on Software Engineering (ACM SIGSOFT); IEEE Computer Society Technical Council on Software Engineering (TCSE) 37th IEEE/ACM International Conference on Software Engineering, ICSE 2015. 1:733-743