Performance analysis of real-time task systems using timed automata door