• Germán Regis, Renzo Degiovanni, Nicolás D'Ippolito and Nazareno Aguirre, " Specifying Event-Based Systems with a Counting Fluent Temporal Logic ", 37th International Conference on Software Engineering, ICSE 2015.

​

• Germán Regis, Renzo Degiovanni, Nicolás D'Ippolito, Nazareno Aguirre, "CLTSA: labelled transition system analyser with counting fluent support",  11th Joint Meeting on Foundations of Software Engineering ESEC/SIGSOFT FSE 2017.