DeFrancisco, R., Cho, S., Ferdman, M., & Smolka, S. A. (2020). Swarm Model Checking on the GPU. International Journal On Software Tools For Technology Transfer.