A Framework for Modeling Timed Systems with Restricted Hybrid Automata