J. L. Costa et al.,  "On the global uniqueness for the Einstein-Maxwell-scalar field system with a cosmological constant. Part 2: structure of the solutions and stability of the cauchy horizon", in Communications in Mathematical Physics, vol. 339, no. 3, pp. 903-947, 2015