Integration of Formal Specification and Traffic Simulation for Scenario-Based Validation | IEEE Conference Publication | IEEE Xplore