Mobile information systems providing estimated time of arrival for public transport users | IEEE Conference Publication | IEEE Xplore