Internship Proposal ( M 2 ) : Sensitivity Analysis in Timed Automata