extended abstract added