Parameter discovery for stochastic biological models against temporal behavioral specifications using an sprt based metric for simulated annealing