Application of MBSE as a support to the definition of the port informer service in the Italian ports. - Lucio Tirone; Stefano Sorge; Giada Traballesi (ITST, 2012)