Exact solving and sensitivity analysis of stochastic continuous time Boolean models.