Paper accepted for ICAART'13