@misc{indiciae225927cb6a2a, title = {Hybrid Simulation Safety: Limbos and Zero Crossings}, author = {David Broman}, year = {2017}, url = {https://arxiv.org/abs/1710.06516}, note = {Source identifier: 1710.06516} }