Text this: Formalization of Hybrid Systems Models for Port Terminal Management With Considering of Key Performance Indicators