@conference {405,
	title = {Specifying Event-Based Systems with a Counting Fluent Temporal Logic},
	booktitle = {37th {IEEE/ACM} International Conference on Software Engineering, {ICSE} 2015, Florence, Italy, May 16-24, 2015, Volume 1},
	year = {2015},
	publisher = {IEEE},
	organization = {IEEE},
	address = {Florence, Italy},
	doi = {10.1109/ICSE.2015.86},
	url = {http://dx.doi.org/10.1109/ICSE.2015.86},
	author = {Germ{\'a}n Regis and Degiovanni, Renzo and Nicol{\'a}s D{\textquoteright}Ippolito and Nazareno Aguirre}
}