Analytic real-time analysis and timed automata: a hybrid method for analyzing embedded real-time systems