Enhancing Routed DEVS Models with Event Tracking (Journal of the Brazilian Computer Society, 2025)