Embedding aircraft system modeling to ATM safety assessment techniques: The runway excursion safety case for runway strips with reduced strength. (December 2019)