_id,doi,title
3835,10.1109/FMCAD.2009.5351139,Synthesizing robust systems