Integration of Interval Temporal Logic in an Expression Evaluator. - Morero-Peyrona, Francisco; Gutiérrez-Rodríguez, Javier; Mejías-Risoto, Manuel (Applied Sciences (2076-3417), 2026)