www.prismmodelchecker.org
[KMO+11] S. Kiefer, A. Murawski, J. Ouaknine, J. Worrell and Lijun Zhang. On stabilization in Herman's algorithm. In L. Aceto and M. Henzinger and J. Sgall (editors), Proc. 38th International Colloquium on Automata, Languages and Programming (ICALP'11), volume 6756 of LNCS, pages 466-477, Springer. 2011. [bib]
Downloads:  bib bib
Notes: The original publication is available at link.springer.com.

Publications