It's basically a concurrent logic prob. These can be v. difficult to prevent lots of probs. It has to be really analyzed & logically proven to be safe, even then should be simulated.
Even then, it could come down to it's likely to be safe except in extraordinary circumstances, in which cas it might be acceptable.
