Taking an electronic ticketing system to the cloud: Design and discussion | IEEE Conference Publication | IEEE Xplore