Einstein-Maxwell-Massive Scalar Field System in 3+1 formulation on   Bianchi Spacetimes type I-VIII
  Global existence to the coupled Einstein-Maxwell-Massive Scalar Field system which rules the dynamics of a kind of charged pure matter in the presence of a massive scalar field is proved, in Bianchi I-VIII spacetimes; asymptotic behaviour, geodesic completeness, energy conditions are investigated in the case of a cosmological constant bounded from below by a strictly negative constant depending only on the massive scalar field. 
Norbert Noutchegueme and Alexis Nangue
gr-qc math-ph math.MP