Latella, et al.. On-the-fly Fast Mean-field Model-checking: Extended Version. 12 Dec. 2013.