Synthesis of synchronous assertions with guarded atomic actions | IEEE Conference Publication | IEEE Xplore