Reusing of Properties after Discretization of Hybrid Automata | IEEE Conference Publication | IEEE Xplore