Nicolae Goga Probabilistic testing for a distributed conference protocol. 5154-5158 2004 conf/smc/2004 SMC (6) http://dx.doi.org/10.1109/ICSMC.2004.1401012 db/conf/smc/smc2004-6.html#Goga04