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