Efficient Computation of Reachable Sets for Critical Space Mission Phases. Issue 1 (17th December 2018)