DOI,IST REx ID,Research Group,Title of publication
10.1007/s00236-013-0191-5,2187,"KrCh,ToHe",Synthesizing robust systems