On atomicity enforcement in concurrent software via Discrete Event Systems theory | IEEE Conference Publication | IEEE Xplore