Bijoy A. Jose Abdoulaye Gamatié Julien Ouy Sandeep K. Shukla SMT based false causal loop detection during code synthesis from Polychronous specifications. 109-118 2011 MEMOCODE http://dx.doi.org/10.1109/MEMCOD.2011.5970517 conf/memocode/2011 db/conf/memocode/memocode2011.html#JoseGOS11