Eric Badouel Marek A. Bednarczyk Andrzej M. Borzyszkowski Benoît Caillaud Philippe Darondeau Concurrent Secrets. 425-446 2007 17 Discrete Event Dynamic Systems 4 http://dx.doi.org/10.1007/s10626-007-0020-5 db/journals/deds/deds17.html#BadouelBBCD07