Specifying event-based systems with a counting fluent temporal logic

por Regis, G., Degiovanni, R., D'Ippolito, N., Aguirre, N., Association for Computing Machinery Special Interest Group on Software Engineering (ACM SIGSOFT); IEEE Computer Society Technical Council on Software Engineering (TCSE)