Synthesis of resilient circuits from guarded atomic actions | IEEE Conference Publication | IEEE Xplore