Toward a Model-Based Approach for Behavioral Safety Concepts in Automated Driving. - Nayel Fabian Salem; Marcus Nolte; Robert Graubohm; Olaf Franke; Torben Schenkel; Markus Maurer (IEEE Access, 2025)