Approximate Simulation for Metric Hybrid Input/Output Automata | IEEE Conference Publication | IEEE Xplore