E. Khamespanah, M. Sirjani, M. Mousavi, Z. Sabahi Kaviani, and M. Razzazi, “State Distribution Policy for Distributed Model Checking of Actor Models”, eceasst, vol. 72, Nov. 2015.