IBM Research  IST link  INESC-ID link  Sips link