Modeling of the eukariotic heat-shock response with probabilistic timed automata