Statistical model checking for complex stochastic models in systems biology