FORMALIZATION OF HYBRID SYSTEMS MODELS FOR PORT TERMINAL X2026