An alternating renewal process to model constellation availability. Issue 9 (1st November 2021)