Larson, K., Peled, D., & Sedwards, S. (2017). Memory-Efficient Tactics for Randomized LTL Model Checking Heidelberg, Germany: Springer. Retrieved from https://link.springer.com/chapter/10.1007/978-3-319-72308-2_10