HySon : Precise Simulation of Hybrid Systems with Imprecise Inputs