_id,doi,title
1376,10.1109/FMCAD.2013.6679386,Distributed synthesis for LTL fragments