A generic ticketing system for the BSC