20190304 city.thiruvananthapuram: KSRTC gears up to introduce GPRS-based ticket machines