Eric Fabre Albert Benveniste Stefan Haar Claude Jard Distributed Monitoring of Concurrent and Asynchronous Systems*. 33-84 2005 15 Discrete Event Dynamic Systems 1 http://dx.doi.org/10.1007/s10626-005-5238-5 db/journals/deds/deds15.html#FabreBHJ05