Streamlined formulation of adaptive explicit-implicit tau-leaping with automatic tau selection | IEEE Conference Publication | IEEE Xplore