Towards Safe Autonomous Driving: Model Checking a Behavior Planner during Development (Tools and Algorithms for the Construction and Analysis of Systems, 2024)