LNCS-840-TSP.pdf