"A full operational semantics for asynchronous relational networks" (2015) Vissani, I.;Pombo, C.G.L.;Jose, J.L.F. (...)Diaconescu, R. 22nd International Workshop on Recent Trends in Algebraic Development Techniques, WADT 2014. 9463:131-150

"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

"Using abduction and induction for operational requirements elaboration" (2009) Alrajeh, D.; Ray, O.; Russo, A.; Uchitel, S. Journal of Applied Logic. 7(3):275-288

"Using abduction and induction for operational requirements elaboration" (2009) Alrajeh, D.; Ray, O.; Russo, A.; Uchitel, S. Journal of Applied Logic. 7(3):275-288