DOI,IST REx ID,Research Group,Title of publication
10.1561/1000000053,5677,ToHe,Contracts for system design