final version of aixia13 smart cities paper done