Bell's work was to show that it had to be the nonlocal causation.
>Do you know some more formal article discussing the proposed experiments?
I do not know of an article, but Maudlin's book Quantum Non-locality and Relativity goes through the various notions of locality and what QM says about it. There is a chapter about signaling and another about causation. It also covers the GHZ scheme which is a non-probablistic version demonstrating non-locality. It is pretty clean.
>Do you know some more formal article discussing the proposed experiments?
I have not read them, but my understanding that Siddhant Das is pursuing these and here is a link to his Arxiv papers which talk about arrival time experiments though I do not know if it is directly about these.
https://arxiv.org/search/advanced?advanced=&terms-0-operator...