GPS‐based satellite formation flight simulation and applications to ionospheric remote sensing. Issue 1 (27th February 2020)