Synthesis of synchronous assertions with guarded atomic actions. - Michael Pellauer; Mieszko Lis; Don Baltus; Rishiyur S. Nikhil (MEMOCODE, 2005)