DOI,IST REx ID,Title of publication
10.1109/FMCAD.2009.5351139,3835,Synthesizing robust systems