Rigorous development of a safety-critical system based on coordinated atomic actions | IEEE Conference Publication | IEEE Xplore