Dominique Méry Michael Poppleton Formal Modelling and Verification of Population Protocols. 208-222 2013 IFM https://doi.org/10.1007/978-3-642-38613-8_15 conf/ifm/2013 db/conf/ifm/ifm2013.html#MeryP13