Updated paper to comply with LNCS guidelines