Efficient Exploration of Safety-Relevant Systems Through a Link Between Analysis and Simulation