  We consider a model for the propagation and absorption of electromagnetic
waves (in the time-harmonic regime) in a magnetised plasma. We present a
rigorous derivation of the model and several boundary conditions modelling wave
injection into the plasma. Then we propose several variational formulations,
mixed and non-mixed, and prove their well-posedness thanks to a theorem by
S\'ebelin et~al. Finally, we propose a non-overlapping domain decomposition
framework, show its well-posedness and equivalence with the one-domain
formulation. These results appear strongly linked to the spectral properties of
the plasma dielectric tensor.
