Task-model based assessment of automation levels: Application to space ground segments