10 Modeling Timed Systems | AMiner