Position paper for the STRINT workshop. Updated version.