New build. Adapted the extended abstract for LNCS submission.