Basic Transport Protocol Formalization by means of Finite State Machines