Towards Scenario-Based Certification of Highly Automated Railway Systems Book chapter (September 2023)