Michael Pellauer Mieszko Lis Don Baltus Rishiyur S. Nikhil Synthesis of synchronous assertions with guarded atomic actions. 15-24 2005 conf/memocode/2005 MEMOCODE http://dx.doi.org/10.1109/MEMCOD.2005.1487886 db/conf/memocode/memocode2005.html#PellauerLBN05