Modelling and analysis methods of integrated information systems of transportation | IEEE Conference Publication | IEEE Xplore