INESC-ID and Instituto Superior Técnico, Universidade de Lisboa, IST-Tagusparque, Porto Salvo, Portugal.|INESC-ID and Instituto Superior Técnico, Universidade de Lisboa, IST-Tagusparque, Porto Salvo, Portugal.|ATP-Group, Lisboa, Portugal.